Sprachbasierte Konstruktion sicherer Systeme - Marek, Detlef (Verfasser) (2004)