TY - RPRT TI - Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems AU - Andree Blotz AU - Franz Huber AU - Heiko Loetzbeyer AU - Alexander Pretschner AU - Oscar Slotosch AU - Hans-Peter Zaengerl PY - 2002 UR - https://arxiv.org/abs/cs/0201023 ID - cs/0201023 ER -