. Ccf-+-13-]-p, R. Cousot, J. Cousot, A. Feret, and X. Miné, Rival et al. The Astrée Static Analyzer, 2001.

]. E. Fer10 and . Feron, From Control Systems to Control Software, IEEE Control Systems Magazine, vol.30, issue.6, pp.50-71, 2010.

]. D. Gol91 and . Goldberg, http://books.google.fr/books?id=epilvM5MMxwC [IEE08] IEEE Task P754. IEEE 754-2008, Standard for Floating-Point Arithmetic, Pel01] D. Peled. Software Reliability Methods. Texts in Computer Science Series, pp.5-48806, 1988.