Antoine Miné, and Xavier Rival. The astrée static analyzer, 2013. ,
From Control Systems to Control Software, IEEE Control Systems Magazine, vol.30, issue.6, pp.50-71, 2010. ,
DOI : 10.1109/MCS.2010.938196
Static Analysis of Control-Command Systems ? Floating-Point and Integer Invariants, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01155693
Analyse statique de système contrôle commande: synthèse d'invariants non linéaires, 2013. ,