A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991.
DOI : 10.1109/5.97297

URL : https://hal.archives-ouvertes.fr/inria-00075115

A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri, NUSMV: a new symbolic model checker, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.410-425, 2000.
DOI : 10.1007/s100090050046

L. Eriksson, Using Formal Methods in a Retrospective Safety Case, Computer Safety, Reliability, and Security ? 23rd International Conference, 2004.
DOI : 10.1007/978-3-540-30138-7_4

L. Eriksson, Use of Domain Theories in Applied Formal Methods, 2006.

J. F. Groote and J. P. Warners, The Propositional Formula Checker HeerHugo, Centre for Mathematics and Computer Science (CWI), 1999.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

M. Huber and S. King, Towards an Integrated Model Checker for Railway Signalling Data, FME'2002: Formal Methods ? Getting IT Right, pp.204-223, 2002.
DOI : 10.1007/3-540-45614-7_12

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik, Chaff, Proceedings of the 38th conference on Design automation , DAC '01, pp.530-535, 2001.
DOI : 10.1145/378239.379017

M. Sheeran and G. Stålmarck, A Tutorial on St??lmarck???s Proof Procedure for Propositional Logic, Proc. 2nd Intl. Conf. on Formal Methods in Computer- Aided Design, FMCAD'98, pp.82-99, 1998.
DOI : 10.1007/3-540-49519-3_7

R. F. Stärk, The theoretical foundations of LPTP (a logic program theorem prover), The Journal of Logic Programming, pp.241-269, 1998.
DOI : 10.1016/S0743-1066(97)10013-9