Testing Safety Critical Ada Code Using Non Real Time Testing. - Yogananda V. Jeppu; Kundapur Karunakar; P. S. Subramanyam (Ada-Europe, 2003)