S. Akshay, B. Bollig, P. Gastin, M. Mukund, N. Kumar et al., Distributed Timed Automata with Independently Evolving Clocks, Proceedings of the 19th international conference on concurrency theory (CONCUR'08). Lecture notes in computer science, pp.82-97, 2008.
DOI : 10.1007/978-3-540-85361-9_10
URL : https://hal.archives-ouvertes.fr/hal-01089524

J. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.26, issue.11, pp.832-843, 1983.
DOI : 10.1145/182.358434

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

R. Alur, T. Henzinger, and M. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.592-601, 1993.
DOI : 10.1145/167088.167242
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.3317

É. André, C. Th, D. Smet, O. Fribourg, L. Ruel et al., Synth??se de contraintes temporis??es pour une architecture d'automatisation en r??seau, Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.7-9, pp.1049-1064, 2009.
DOI : 10.3166/jesa.43.1049-1064

É. André, C. Th, E. Encrenaz, and L. Fribourg, AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA, International Journal of Foundations of Computer Science, vol.20, issue.05, pp.819-836, 2009.
DOI : 10.1142/S0129054109006905

A. Benveniste, B. Caillaud, M. Pouzet, . Atlanta, . Georgia et al., The fundamentals of hybrid systems modelers The esterel synchronous programming language: design, semantics, implementation, Sci Comput Program, vol.19, issue.2, pp.87-152, 1992.

A. Cont, A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.32, issue.6, pp.974-987, 2008.
DOI : 10.1109/TPAMI.2009.106
URL : https://hal.archives-ouvertes.fr/hal-00479737

A. Cont, On the creative use of score following and its impact on research In: Sound and music computing Music score alignment and computer accompaniment, Commun ACM, issue.8, pp.4938-4981, 2006.

R. Dannenberg, An on-line algorithm for real-time accompaniment, Proceedings of the international computer music conference (ICMC), pp.193-198, 1984.

M. Desainte-catherine and A. Allombert, Interactive scores: A model for specifying temporal relations between interactive and static events, Journal of New Music Research, vol.34, issue.4, pp.361-374, 2005.
DOI : 10.1109/5.24143
URL : https://hal.archives-ouvertes.fr/hal-01106191

J. Echeveste, A. Cont, J. Giavitto, and F. Jacquemard, Formalisation des relations temporelles entre une partition et une performance musicale dans un contexte d'accompagnement automatique Actes du 8eme Colloque sur la Modélisation des Systèmes Réactifs (MSR'11) Craye, Étienne and Gamatié, Abdoulaye Editors, vol.45, pp.109-124, 2011.
DOI : 10.3166/jesa.45.109-124

L. Fanchon, Formal analysis of score. Master's thesis, Ecole Centrale Available at http://articles.ircam.fr Accessed, 2012.

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

E. Large and M. Jones, The dynamics of attending: How people track time-varying events., Psychological Review, vol.106, issue.1, p.119, 1999.
DOI : 10.1037/0033-295X.106.1.119

P. Leguernic, T. Gautier, L. Borgne, M. , L. Maire et al., Programming real-time applications with SIGNAL, Proceedings of the IEEE, vol.79, issue.9, pp.1321-1336, 1991.
DOI : 10.1109/5.97301

L. Mandel and F. Plateau, Interactive Programming of Reactive Systems, Electronic Notes in Theoretical Computer Science, vol.238, issue.1, pp.44-59, 2008.
DOI : 10.1016/j.entcs.2008.01.004

P. Manoury, Considérations (toujours actuelles) sur l'état de la musique en temps réel. Etincelle , le journal de la création à l'Ircam, 2007.

M. Puckette, Combining Event and Signal Processing in the MAX Graphical Programming Environment, Computer Music Journal, vol.15, issue.3, pp.68-77, 1991.
DOI : 10.2307/3680767

C. Raphael, The informatics philharmonic, Communications of the ACM, vol.54, issue.3, pp.87-93, 2011.
DOI : 10.1145/1897852.1897875

B. Vercoe, The synthetic performer in the context of live performance, Proceedings of the ICMC, pp.199-200, 1984.

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-36, 2008.
DOI : 10.1145/1347375.1347389