The microprocessor. III (car radio receiver applications)
Safety verification of Ada programs using software fault trees
Software fault tolerance for a flight control system
Constraint-oriented cooperative scheduling for aircraft manufacturing
Operational computer systems at the FCU (Flight Calibration Unit)