1. Dependability of digital computers on board airplanes,1989
2. Simulateurs A320 d'Aérospatiale: leur contribution à la conception, au développement et à la certification;Chatrenet,1989
3. Software considerations in airborne systems and equipment certification,1985
4. Assurance qualité du logiciel et la certification des aéronefs/Expérience A320;Barbaste,1988
5. Fly-by-wire for commercial aircraft - the airbus experience;Favre;International Journal of Control,1993