Udo Frese Daniel Hausmann Christoph Lüth Holger Täubig Dennis Walter Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. 335-338 2008 Software Engineering (Workshops) conf/se/2008w db/conf/se/se2008w.html#FreseHLTW08