Embedded Systems in Avionics and the SACRES Approach. - Philippe Baufreton; Xavier Méhaut; Éric Rutten (SAFECOMP, 1997)

Improving Software Development by Using Safe Object Oriented Development: OTCD. - Xavier Méhaut; Pierre Morère (SAFECOMP, 2000)