. Anonymous, SCADE Suite -Esterel Technologies Home Page

. Anonymous, The MathWorks Home Page

. Anonymous, The Argosim Home Page

C. Baier and J. Katoen, it Principles of model checking, 2008.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, 1986.

K. Glarsen, P. Pettersson, and W. Yi, UPPAAL in a nutshell, Journal of Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.

M. Bozzano, A. Cimatti, J. Katoen, P. Katsaros, K. Mokos et al., Spacecraft early design validation using formal methods, Reliability Engineering & System Safety, vol.132, pp.20-35, 2014.

P. Steven, A. C. Miller, M. W. Tribble, . Whalen, P. E. Mats et al., Proving the shalls: Early validation of requirements through formal methods, Journal of Software Tools for Technology Transfer, vol.8, issue.4, pp.303-319, 2006.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous observers and the verification of reactive systems, Proceedings 26 of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology, AMAST'93, pp.83-96, 1994.