Sprachbasierte Konstruktion sicherer Systeme. - Detlef Marek (2003)