Zuverlässige Software durch den Einsatz von UML, MDA und der Programmiersprache Ada. - Jörg Matthes; Hubert B. Keller; Wolf-Dieter Heker; M. Kersten; Christian Fouda (GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit"), 2003)