P. Cousot, R. Cousot, and J. Feret, Antoine Miné, and Xavier Rival. The astrée static analyzer, 2013.

E. Feron, From Control Systems to Control Software, IEEE Control Systems Magazine, vol.30, issue.6, pp.50-71, 2010.
DOI : 10.1109/MCS.2010.938196

V. Maisonneuve, Static Analysis of Control-Command Systems ? Floating-Point and Integer Invariants, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01155693

P. Roux, Analyse statique de système contrôle commande: synthèse d'invariants non linéaires, 2013.