Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems. - P. David; T. Planche; A. Corrégé; J.-F. Chane (Ada-Europe, 1995)

Fault-Tolerant Computer for the Automated Transfer Vehicle. - R. Roques; A. Corrégé; Christian Boléat (FTCS, 1998)