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

Safe Ada Executive: An Executive for Ada Safety Critical Applications. - Marc Richard-Foy (Ada-Europe, 1995)

T-SMART - Task-Safe, Minimal Ada Realtime Toolset. - Brian Dobbing; Marc Richard-Foy (Ada-Europe, 1997)

Issues in building an ANRTS platform. - Antonio Kung; James J. Hunt; Ludovic Gauthier; Marc Richard-Foy (JTRES, 2006)

Use of PERC Pico in the AIDA avionics platform. - Tobias Schoofs; Eric Jenn; Stéphane Leriche; Kelvin Nilsen; Ludovic Gauthier; Marc Richard-Foy (JTRES, 2009)

Enforcing trust in home automation platforms. - Sarah Majoul; Marc Richard-Foy; Aitor Agirre; Antonio Perez; Antonio Kung (ETFA, 2010)