Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT). - Volkert Barr; Sergio Montenegro 001 (Ada Deutschland Tagung, 2002)