Verlag Akademische Verlagsgesellschaft AKAAndreas Lüdtke × Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basis eines integrierten Mensch-Maschine-Modells Andreas LüdtkeAkademische Verlagsgesellschaft AKASoftcover2005