R. Dannenberg, Music Representation: A Position Paper, 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, R. , and C. , 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

T. Bazin and S. Dubnov, Constrained Music Generation Using Model- Checking, Proceedings of Journées d'Informatique Musicale, 2016.

G. Berry, The constructive semantics of pure Esterel, 1996.

S. Bliudze and J. Sifakis, A Notion of Glue Expressiveness for Component-Based Systems, proc. of the 19th International Conference on Concurrency Theory (CONCUR), pp.508-522, 2008.
DOI : 10.1007/978-3-540-85361-9_39

S. Bliudze and J. Sifakis, Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems, proc. 10th International Conference on Software Composition (SC), pp.51-67, 2011.
DOI : 10.1007/978-3-540-87891-9_8

E. Bounimova, P. Godefroid, and D. Molnar, Billions and billions of constraints: Whitebox fuzz testing in production, 2013 35th International Conference on Software Engineering (ICSE), 2012.
DOI : 10.1109/ICSE.2013.6606558

H. Bowman, G. Faconti, J. Katoen, D. Latella, and M. Massink, Automatic verification of a lip synchronisation algorithm using Uppaal, proc. 3rd International Workshop on Formal Methods for Industrial Critical Systems, pp.97-124, 1998.

C. Colombo, M. Micallef, and M. Scerri, Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing, proc. 9th Workshop on Model-Based Testing, pp.14-28
DOI : 10.4204/EPTCS.141.2

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, proc. International Computer Music Conference (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, 9th International Symposium on Formal Methods for Components and Objects (FMCO), pp.352-371, 2010.
DOI : 10.1007/978-3-540-27836-8_6

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

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

L. Fanchon and F. Jacquemard, Formal Timing Analysis Of Mixed Music Scores In proc, International Computer Music Conference (ICMC), p.51, 2013.

A. Ghosal, T. A. Henzinger, C. M. Kirsh, and M. A. Sanvido, Event-Driven Programming with Logical Execution Times, Hybrid Systems: Computation and Control, 2004.
DOI : 10.1007/978-3-540-24743-2_24

P. Godefroid, M. Y. Levin, and D. A. Molnar, Automated whitebox fuzz testing, Network Distributed Security Symposium (NDSS), 2008.

T. Henzinger, B. Horowitz, and C. Kirsch, Giotto: a timetriggered language for embedded programming, Proceedings of the IEEE, pp.84-99, 2003.

A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson et al., Testing Real-Time Systems Using UPPAAL, proc. Formal methods and testing, pp.77-117, 2008.
DOI : 10.1007/978-3-540-78917-8_3

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.

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

A. M. Memon, An event-flow model of GUI-based applications for testing, Software Testing, Verification and Reliability, vol.36, issue.3, pp.137-157, 2007.
DOI : 10.1002/stvr.364

N. Peters, T. Lossius, and T. Place, An automated testing suite for computer music environments, 9th Sound and Music Computing Conference (SMC), p.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
DOI : 10.1145/2695664.2695804
URL : https://hal.archives-ouvertes.fr/hal-01097345

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

C. Ptolemaeus and . Ed, System Design, Modeling, and Simulation using Ptolemy II, 2014.

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.