A New Approach for HOOD/Ada Mapping. - Pierre Dissaux; Patrick Farail; Pierre Leroy; P. Micouin (Ada-Europe, 1994)

Towards the verification of real-time systems in avionics: the Cotre approach. - Bernard Berthomieu; Pierre-Olivier Ribet; François Vernadat 001; J. L. Bernartt; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; Gérard Padiou; Pierre Michel; Patrick Farail; Pierre Gauffilet; Pierre Dissaux; et al. (FMICS, 2003)

COTRE as an AADL Profile. - Patrick Farail; Pierre Gaufillet (IFIP-WADL, 2004)