"Certification of Ada Real-Time Executives for Safety Critical Applications."

Jacques Brygier, Marc Richard-Foy (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics