C. Baier and J. Katoen, Principles of Model Checking, 2008.

T. Chen, M. Diciolla, M. Kwiatkowska, and A. Mereacre, Quantitative Verification of Implantable Cardiac Pacemakers, 2012 IEEE 33rd Real-Time Systems Symposium, pp.263-272, 2012.
DOI : 10.1109/RTSS.2012.77

E. M. Clarke and E. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, pp.196-215, 2008.
DOI : 10.1007/978-3-540-69850-0_12

A. Sylvain-conchon, S. Goel, A. Krstic, F. Mebsout, and . Za¨?diza¨?di, Invariants for finite instances and beyond, Formal Methods in Computer-Aided Design, FMCAD 2013, pp.61-68, 2013.

N. Conway, W. R. Marczak, P. Alvaro, J. M. Hellerstein, and D. Maier, Logic and lattices for distributed programming, Proceedings of the Third ACM Symposium on Cloud Computing, p.1, 2012.
DOI : 10.1145/2391229.2391230
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.3774

G. Delzanno and A. Podelski, Model Checking in CLP, pp.223-239, 1999.
DOI : 10.1007/3-540-49059-0_16

G. Delzanno and A. Podelski, Constraint-based deductive model checking, International Journal on Software Tools for Technology Transfer, vol.3, issue.3, pp.250-270, 2001.

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

D. William, M. L. Harvey, and . Ginsberg, Limited discrepancy search, IJCAI (1), pp.607-615, 1995.

J. Gerard, M. Holzmann, and . Florian, Model checking with bounded context switching. Formal Aspects of Computing, pp.365-389, 2011.

P. Kars, The application of promela and spin in the bos project (abstract), 1996.

A. Lallouet, Y. Chiu-law, H. Jimmy, . Lee, F. Charles et al., Constraint programming on infinite data streams, International Joint Conference on Artificial Intelligence, pp.597-604, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01009693

R. Milner, Communicating and mobile systems : the pi-calculus, 1999.

U. Nilsson and J. Lübcke, Constraint logic programming for local and symbolic modelchecking, Proceedings of the First International Conference on Computational Logic, CL '00, pp.384-398, 2000.
DOI : 10.1007/3-540-44957-4_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.1130

A. Podelski, Model Checking as Constraint Solving, Static Analysis : 7th International Symposium. Proceedings, pp.22-37, 2000.
DOI : 10.1007/978-3-540-45099-3_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.3025

S. Qadeer and D. Wu, KISS, ACM SIGPLAN Notices, vol.39, issue.6, pp.14-24, 2004.
DOI : 10.1145/996893.996845

A. P. Ravn, J. Srba, and S. Vighio, Modelling and Verification of Web Services Business Activity Protocol, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems : Part of the Joint European Conferences on Theory and Practice of Software, pp.357-371, 2011.
DOI : 10.1109/CECW.2005.12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.185.1566

P. Raymond, X. Nicollin, N. Halbwachs, and D. Weber, Automatic testing of reactive systems, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), p.200, 1998.
DOI : 10.1109/REAL.1998.739746

A. Vijay, M. Saraswat, and . Rinard, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.232-245, 1989.

G. Tack, Constraint Propagation ? Models, Techniques, Implementation, 2009.