J. Boulanger, Utilisations industrielles des techniques formelles: interprétation abstraite. Hermès science publications, 2011.

J. Boulanger, Industrial Use of Formal Methods: Formal Verification, 2012.

A. Fernandes-pires, S. Duprat, T. Faure, C. Besseyre, J. Beringuier et al., Use of modelling methods and tools in an industrial embedded system project : works and feedback, Embedded Real-time Software and Systems, 2012.
URL : https://hal.archives-ouvertes.fr/hal-02263442

A. Fernandes-pires, T. Polacsek, V. Wiels, and S. Duprat, Behavioural verification in embedded software, from model to source code, Model-Driven Engineering Languages and Systems, vol.8107, pp.320-335, 2013.

C. A. Hoare, An axiomatic basis for computer programming, Commun. ACM, vol.12, issue.10, pp.576-580, 1969.

X. Leroy, A formally verified compiler back-end, Journal of Automated Reasoning, vol.43, issue.4, pp.363-446, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00360768

Y. Moy, E. Ledinot, H. Delseny, V. Wiels, and B. Monate, Testing or formal verification: Do-178c alternatives and industrial experience. Software, IEEE, vol.30, pp.50-57, 2013.

D. Pariente and E. Ledinot, Formal verification of industrial c code using frama-c: a case study, Formal Verification of ObjectOriented Software, 2010.

, 12B: Software Considerations in Airborne Systems and Equipment Certification, 1992.

, 12C: Software Considerations in Airborne Systems and Equipment Certification, 2011.

. Rtca/eurocae, DO-333/ED-216: Formal Methods Supplement to DO-178C and DO-278A, 2011.

J. Souyris, V. Wiels, D. Delmas, and H. Delseny, Formal verification of avionics software products, FM 2009: Formal Methods, vol.5850, pp.532-546, 2009.