P. Baptiste, C. L. Pape, and W. Nuijten, Constraint-Based Scheduling : Applying Constraint Programming to Scheduling Problems, International Series in Operations Research and Management Science. Kluwer, 2001.
DOI : 10.1007/978-1-4615-1479-4
URL : https://hal.archives-ouvertes.fr/inria-00123562

S. Demri, D. Deepak, and . Souza, An automata-theoretic approach to constraint LTL, Information and Computation, vol.205, issue.3, pp.380-415, 2007.
DOI : 10.1016/j.ic.2006.09.006

E. and A. Emerson, Temporal and Modal Logic, Handbook of Theoretical Computer Science, Volume B : Formal Models and Sematics (B), pp.995-1072, 1990.
DOI : 10.1016/B978-0-444-88074-1.50021-4

M. Ghallab, D. S. Nau, and P. Traverso, Automated planning -theory and practice, 2004.

M. Khiari, P. Boizumault, and B. Crémilleux, Constraint Programming for Mining n-ary Patterns, Lecture Notes in Computer Science, vol.6308, pp.552-567, 2010.
DOI : 10.1007/978-3-642-15396-9_44
URL : https://hal.archives-ouvertes.fr/hal-01016652

A. Lallouet, Y. Law, J. Ho-man, C. F. Lee, and . Siu, Constraint programming on infinite data streams, IJCAI IJCAI/AAAI, pp.597-604, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01009693

K. L. Mcmillan, Symbolic Model Checking : An Approach to the State Explosion Problem, 1992.

C. Pralet and G. Verfaillie, Using constraint networks on timelines to model and solve planning and scheduling problems, ICAPS, pp.272-279, 2008.