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

´. E. André, L. Fribourg, U. Kühne, and R. Soulat, IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems, 18th Int. Symp. on Formal Methods, pp.33-36, 2012.
DOI : 10.1007/978-3-642-32759-9_6

G. Berry, C. , and L. , 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, U. Fahrenberg, K. G. Larsen, and N. Markey, Quantitative analysis of real-time systems using priced timed automata, Communications of the ACM, vol.54, issue.9, pp.78-87, 2011.
DOI : 10.1145/1995376.1995396
URL : https://hal.archives-ouvertes.fr/hal-01088030

A. Cont, Antescofo: Anticipatory synchronization and control of interactive parameters in computer music, Proc. of Int. Comp. Music Conf. (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, ICMC, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00718854

J. Echeveste, A. Cont, F. Jacquemard, and J. Giavitto, Antescofo: A domain specific language for realtime musician-computer interaction, 2012.