@inproceedings{Ada-2002-BlotzHLPSZ,
	author        = "Andree Blotz and Franz Huber and Heiko Lötzbeyer and Alexander Pretschner and Oscar Slotosch and Hans-Peter Zängerl",
	booktitle     = "{Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität}",
	isbn          = "3-8265-9956-X",
	pages         = "37--52",
	publisher     = "{Shaker Verlag}",
	title         = "{Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems}",
	year          = 2002,
}