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

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711

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, proceedings of ICMC, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00718854

R. B. Dannenberg, Abstract Time Warping of Compound Events and Signals, Computer Music Journal, vol.21, issue.3, pp.61-70, 1997.
DOI : 10.2307/3681014

A. David, K. G. Larsen, S. Li, M. Mikucionis, and B. Nielsen, Testing Real-Time Systems under Uncertainty, proceedings of FMCO, pp.352-371, 2010.
DOI : 10.1007/978-3-540-27836-8_6

A. Hessel, Testing Real-Time Systems Using UPPAAL, Formal methods and testing, pp.77-117, 2008.
DOI : 10.1007/978-3-540-78917-8_3

H. Honing, Structure and interpretation of rhythm and timing, Dutch Journal of Music Theory, vol.7, issue.3, pp.227-232, 2002.

Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, 1992.
DOI : 10.1007/978-1-4612-0931-7

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

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