R. B. França, D. Favre-felix, X. Leroy, M. Pantel, and J. Souyris, Towards Formally Verified Optimizing Compilation in Flight Control Software, PPES, ser. OASIcs, pp.59-68, 2011.

D. Brì-ere and P. Traverse, AIRBUS A320/A330/A340 Electrical Flight Controls: A Family of Fault-Tolerant Systems, FTCS, pp.616-623, 1993.

J. Souyris, E. L. Pavec, G. Himbert, V. Jégu, and G. Borios, Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation, Proceedings of the 5th Intl Workshop on Worst-Case Execution Time (WCET) Analysis, pp.21-24, 2005.

T. Lundqvist and P. Stenström, Timing anomalies in dynamically scheduled microprocessors, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), p.12, 1999.
DOI : 10.1109/REAL.1999.818824

R. Heckmann and C. Ferdinand, Worst-case Execution Time Prediction by Static Program Analysis, IPDPS 2004, pp.26-30, 2004.

X. Leroy, Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009.
DOI : 10.1145/1538788.1538814

URL : https://hal.archives-ouvertes.fr/inria-00415861

H. Falk and P. Lokuciejewski, A compiler framework for the reduction of worst-case execution times The International Journal of Time-Critical Computing Systems (Real-Time Systems, pp.251-300, 2010.

J. Tristan and X. Leroy, Formal verification of translation validators: A case study on instruction scheduling optimizations, 35th symposium Principles of Programming Languages, pp.17-27, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00289540