S. Boyd, L. Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, Society for Industrial and Applied Mathematics, 1994.
DOI : 10.1137/1.9781611970777

P. Cousot, R. Cousot, J. Feret, A. Miné, and X. , The astrée static analyzer (2013) URL http

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

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991.
DOI : 10.1145/103162.103163

N. J. Higham, Accuracy and Stability of Numerical Algorithms, 2002.
DOI : 10.1137/1.9780898718027

S. Owre, PVS specification and verification system, 2013.

D. Peled, Software reliability methods, 2001.
DOI : 10.1007/978-1-4757-3540-6