@inproceedings{LeuchterUrbasHerczegetal.2015, author = {S. Leuchter and L. Urbas and M. Herczeg and Martin Christof Kindsm{\"u}ller}, title = {Mensch-Maschine-Interaktion in sicherheitskritischen Systemen}, year = {2015}, }