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 http://arxiv.org/abs/cs.SE/0201023 2002 CoRR cs.SE/0201023 db/journals/corr/corr0201.html#cs-SE-0201023 informal publication