Hardi Hungar Erwin Reyzl Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. 291-294 2008 Software Engineering conf/se/2008 db/conf/se/se2008.html#HungarR08