C. Agon, G. Assayag, O. Delerue, and C. Rueda, Objects, time and constraints in OpenMusic, Proceedings of the 1998 International Computer Music Conference, 1998.
URL : https://hal.archives-ouvertes.fr/hal-01106256

C. Truchet and G. Assayag, Constraint Programming in Music, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00872976

T. Anders and E. R. Miranda, Constraint programming systems for modeling music theories and composition, ACM Computing Surveys, vol.43, issue.4, pp.1-3038, 2011.
DOI : 10.1145/1978802.1978809

M. Laurson, PatchWork: A visual programming language and some musical applications, 1996.

C. Truchet and P. Codognet, Musical constraint satisfaction problems solved with adaptive search, Soft Computing, vol.8, issue.9, 2004.
DOI : 10.1007/s00500-004-0389-0
URL : https://hal.archives-ouvertes.fr/hal-01161219

G. Berry, The Foundations of Esterel, Proof, Language, and Interaction, pp.425-454, 2000.

G. Baudart, F. Jacquemard, L. Mandel, and M. Pouzet, A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-12, 2013.
DOI : 10.1109/EMSOFT.2013.6658579
URL : https://hal.archives-ouvertes.fr/hal-00850299

G. Berry and M. Serrano, Hop and HipHop: Multitier Web Orchestration, International Conference on Distributed Computing and Internet Technology, pp.1-13, 2014.
DOI : 10.1007/978-3-319-04483-5_1
URL : https://hal.archives-ouvertes.fr/hal-00911782

F. Rossi, P. Van-beek, and T. Walsh, Handbook of Constraint Programming (Foundations of Artificial Intelligence), 2006.

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

B. A. Davey and H. A. Priestley, Introduction to lattices and order, 2002.
DOI : 10.1017/CBO9780511809088

C. Schulte, Programming Constraint Services: High-Level Programming of Standard and New Constraint Services, ser. Lecture Notes in Computer Science, 2002.
DOI : 10.1007/3-540-45945-6

M. Gemünde, J. Brandt, and K. Schneider, Clock refinement in imperative synchronous languages, EURASIP Journal on Embedded Systems, vol.12, issue.3, pp.1-21, 2013.
DOI : 10.1109/ACSD.2005.10