Anforderungen an eine modellbasierte Entwicklung sicherheitskritischer Software für Stellwerkstechnik. - Andreas Morawe; Hans-Jürgen Nollau; Murat Sahingöz (MBEES, 2005)