@inproceedings{LeuchterUrbasHerczegetal.2007, author = {Leuchter, S. and Urbas, L. and Herczeg, M. and Kindsm{\"u}ller, Martin Christof}, title = {Mensch-Maschine-Interaktion in sicherheitskritischen Systemen}, year = {2007}, language = {de} } @misc{UrbasKindsmuellerLeuchter2000, author = {Urbas, L. and Kindsm{\"u}ller, Martin Christof and Leuchter, S.}, title = {MoDyS: Modellierungsmethodik in dynamischen Mensch-Maschine-Systemen}, year = {2000}, language = {de} }