R. Alur and D. L. 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. A. Henzinger, and M. Y. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.819-836, 1993.
DOI : 10.1145/167088.167242

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

E. André and L. Fribourg, Behavioral Cartography of Timed Automata, Proc. of the 4th Int. Conf. on Reachability problems, 2010.

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

B. Berard, Systems and Software Verification: Model-Checking Techniques and Tools, 2001.
DOI : 10.1007/978-3-662-04558-9

G. Berry and L. Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448, 1985.
DOI : 10.1007/3-540-15670-4_19

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

P. Bouyer, N. Markey, and O. Sankur, Robust Reachability in Timed Automata: A??Game-Based??Approach, Proc. of the 39th Int. Colloquium on Automata , Languages and Programming (ICALP), 2012.
DOI : 10.1007/978-3-642-31585-5_15

URL : https://hal.archives-ouvertes.fr/hal-01105077

H. Comon and Y. Jurski, Multiple counters automata, safety analysis and presburger arithmetic
DOI : 10.1007/BFb0028751

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Cont, Antescofo: Anticipatory Synchronization and Control of Interactive Parameters in Computer Music, Proc. of ICMC, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00694803

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, 2010.
DOI : 10.1109/TPAMI.2009.106

URL : https://hal.archives-ouvertes.fr/hal-00479737

A. Cont, J. Echeveste, J. Giavitto, and F. Jacquemard, Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo
URL : https://hal.archives-ouvertes.fr/hal-00718854

A. Cont, J. Giavitto, and F. Jacquemard, From authored to produced time in computer-musician interactions, CHI Workshop on Avec le Temps! Time, Tempo, and Turns in Human-Computer Interaction, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00787033

J. Echeveste, A. Cont, F. Jacquemard, and J. Giavitto, Antescofo: A Domain Specific Language for Realtime Musician-Computer Interaction. Discrete Event Dynamic Systems, 2013.

L. G. Fanchon, S. K. Frehse, B. H. Jha, and . Krogh, Temporal Analysis of Mixed Intrumental/Electronic Music Scores. http://articles.ircam.fr/textes/Fanchon12a/index A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata, Proc. of the 11th Int. workshop on Hybrid Systems: Computation and Control (HSCC), 2008.

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

E. A. Lee, Computing needs time, Communications of the ACM, vol.52, issue.5, pp.70-79, 2009.
DOI : 10.1145/1506409.1506426

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

J. Mccartney, Supercollider: a new real time synthesis language, Proceedings ICMC, 1996.

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

M. Puckette, Pure Data, Proc. of ICMC, 1997.

R. Rowe, Interactive Music Systems: Machine Listening and Composing, 1992.

B. Vercoe and D. Ellis, Real-time Csound: Software Synthesis with Sensing and Control, Proceedings ICMC, 1990.