Jörg Matthes, Hubert B. Keller, Wolf-Dieter Heker, M. Kersten, Christian Fouda. Zuverlässige Software durch den Einsatz von UML, MDA und der Programmiersprache Ada. In Rüdiger Grimm, Hubert B. Keller, Kai Rannenberg, editors, INFORMATIK 2003 - Mit Sicherheit Informatik, Schwerpunkt Sicherheit - Schutz und Zuverlässigkeit , 29. September - 2. Oktober 2003 in Frankfurt am Main. Volume 36 of LNI, pages 167-178, GI, 2003.
Abstract is missing.