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

J. Boulanger, Industrial Use of Formal Methods: Formal Verification, 2012.
DOI : 10.1002/9781118561829

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.

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, pp.320-335, 2013.
DOI : 10.1007/978-3-642-41533-3_20

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

X. Leroy, A Formally Verified Compiler Back-end, Journal of Automated Reasoning, vol.27, issue.1, pp.363-446, 2009.
DOI : 10.1007/s10817-009-9155-4
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, IEEE Software, vol.30, issue.3, pp.3050-57, 2013.
DOI : 10.1109/MS.2013.43

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

R. 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, pp.532-546, 2009.
DOI : 10.1007/978-3-642-05089-3_34