Rival et al. The Astrée Static Analyzer, 2001. ,
From Control Systems to Control Software, IEEE Control Systems Magazine, vol.30, issue.6, pp.50-71, 2010. ,
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. ,