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