TY - CHAP A1 - Leuchter, S. A1 - Urbas, L. A1 - Herczeg, M. A1 - Kindsmüller, Martin Christof T1 - Mensch-Maschine-Interaktion in sicherheitskritischen Systemen Y1 - 2007 ER - TY - GEN A1 - Urbas, L. A1 - Kindsmüller, Martin Christof A1 - Leuchter, S. T1 - MoDyS: Modellierungsmethodik in dynamischen Mensch-Maschine-Systemen Y1 - 2000 ER -