Sicherheitskritische Mensch-Computer-Systeme und interaktive Echtzeitsysteme findet man heute zur Prozesssteuerung in großtechnischen Anlagen wie Kraftwerken, Fabriken, Verkehrsleitzentralen, in Transportsystemen wie Flugzeugen, Schiffen, Bahnen oder Kraftfahrzeugen, aber auch in Kliniken, Pflegeei...