arXiv 2002-01-26 EN Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems Blotz, Andree · Huber, Franz · Loetzbeyer, Heiko · Pretschner, Alexander +2
