@inproceedings{Ada-2002-BarrM,
	author        = "Volkert Barr and Sergio Montenegro",
	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         = "53--66",
	publisher     = "{Shaker Verlag}",
	title         = "{Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT)}",
	year          = 2002,
}