Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. - Andree Blotz; Franz Huber; Heiko Lötzbeyer; Alexander Pretschner; Oscar Slotosch; Hans-Peter Zängerl (Ada Deutschland Tagung, 2002)