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 Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. 37-52 2002 conf/adaD/2002 Ada Deutschland Tagung db/conf/adaD/adaD2002.html#BlotzHLPSZ02