Certification of Ada Real-Time Executives for Safety Critical Applications. - Jacques Brygier; Marc Richard-Foy (Ada-Europe, 1993)

Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model. - Jacques Sevestre; Jacques Brygier (Ada-Europe, 1994)