Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl. Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. In Jürgen F. H. Winkler, Peter Denecker, Hubert B. Keller, Michael Tonndorf, editors, Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität. pages 37-52, Shaker Verlag, 2002.
Abstract is missing.