D. A. Jaffe, Ensemble Timing in Computer Music, Computer Music Journal, vol.9, issue.4, 1983.
DOI : 10.2307/3679621

R. Dannenberg, Music Representation: A Position Paper, ICMC, 1989.

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

D. P. Anderson and R. Kuivila, A system for computer music performance, ACM Transactions on Computer Systems, vol.8, issue.1, pp.56-82, 1990.
DOI : 10.1145/77648.77652

J. Arias, M. Desainte-catherine, and C. Rueda, A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios, 2015 15th International Conference on Application of Concurrency to System Design, 2015.
DOI : 10.1109/ACSD.2015.8
URL : https://hal.archives-ouvertes.fr/hal-01136252

J. Blom, A. Hessel, B. Jonsson, and P. Pettersson, Specifying and generating test cases using observer automata. FATES, 2004.

H. Bowman, G. Faconti, J. Katoen, D. Latella, and M. Massink, Automatic verification of a lip synchronisation algorithm using Uppaal, FMICS, 1998.

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

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

J. Echeveste, A. Cont, J. Giavitto, and F. Jacquemard, Operational semantics of a domain specific language for real time musician???computer interaction, Discrete Event Dynamic Systems, vol.7, issue.9, pp.343-383, 2011.
DOI : 10.1007/s10626-013-0166-2
URL : https://hal.archives-ouvertes.fr/hal-00854719

J. Echeveste, Un language de programmation pour composer l'interaction musicale, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01196248

H. Henkjan, From time to time: The representation of timing and tempo, Computer Music Journal, vol.35, issue.3, 2001.

A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson et al., Testing real-time systems using Uppaal. Formal Methods and Testing, LNCS, vol.4949, pp.77-117, 2008.

H. Honing, From Time to Time: The Representation of Timing and Tempo, Computer Music Journal, vol.25, issue.3, pp.50-61, 2001.
DOI : 10.2307/40285814

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

M. Krichen and S. Tripakis, Black-box conformance testing for real-time systems . SPIN, pp.109-126, 2004.

N. Peters, T. Lossius, and T. Place, An automated testing suite for computer music environments, 2012.

C. Poncelet and F. Jacquemard, Model based testing of an interactive music system, Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC '15, 2015.
DOI : 10.1145/2695664.2695804
URL : https://hal.archives-ouvertes.fr/hal-01097345

C. Poncelet and F. Jacquemard, Test Methods for Score-Based Interactive Music Systems, ICMC SMC, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01021617

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