@misc{indiciae0a8a91dd2376, title = {Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems}, author = {Andree Blotz and Franz Huber and Heiko Loetzbeyer and Alexander Pretschner and Oscar Slotosch and Hans-Peter Zaengerl}, year = {2002}, url = {https://arxiv.org/abs/cs/0201023}, note = {Source identifier: cs/0201023} }