INRETS experience of the highly critical software validation of the MAGGALY subway. - Anna Stuparu; Patrick Ozello; François Baranowski (ISSRE, 1993)

Safety Case: Structure and Role. - M. El Koursi; B. Letrung; Hélène Waeselynck; François Baranowski (SAFECOMP, 1995)