A. Allombert, R. Alur, C. Courcoubetis, and D. Dill, Aspects Temporels d'un Système de Partitions Musicales Interactives pour la Composition et l'Exécution (Doctoral dissertation Retrieved from http://ori-oai.u -bordeaux1 Model-Checking in Dense Real-Time, Information and Computation, vol.104, issue.1, pp.2-34, 1993.

R. Alur, C. Courcoubetis, and D. L. Dill, Model-Checking for Real-Time Systems, Proceedings of the fifth annual symposium on logic in computer science (lics '90), philadelphia, pennsylvania, usa, pp.414-425, 1990.

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.12694, issue.2, pp.183-2350304, 1994.

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, pp.140-151, 2015.
DOI : 10.1109/ACSD.2015.8
URL : https://hal.archives-ouvertes.fr/hal-01136252

P. Baltazar, T. De-la-hogue, M. J. Desainte-catherine, W. David-griffioen, K. J. Kristoffersen et al., i-score, an Interactive Sequencer for the Intermedia Arts 40th international computer music conference ICMC / 11th sound and music computing conference SMC, athens, greece Retrieved from http Automated verification of an audio-control protocol using UPPAAL, The Journal of Logic and Algebraic Programming, issue.02, pp.1826-1829, 2002.

G. Blakowski and R. Steinmetz, A media synchronization survey: reference model, specification, and case studies, IEEE Journal on Selected Areas in Communications, vol.14, issue.1, pp.5-35, 1996.
DOI : 10.1109/49.481691

J. Celerier, P. Baltazar, C. Bossut, N. Vuaille, J. Couturier et al., OSSIA: towards a unified interface for scoring time and interaction Retrieved from http://tenor2015.tenor -conference.org Ascograph: A user interface for sequencing and score following for interactive music, Proceedings of the first international conference on technologies for music notation and representation -TENOR 2015 Icmc 2014-40th international computer music conference, pp.81-90, 2014.

A. David, K. G. Larsen, A. Legay, M. Miku?ionis, and D. B. Poulsen, Uppaal SMC tutorial, International Journal on Software Tools for Technology Transfer, vol.16, issue.2, pp.397-415, 2015.
DOI : 10.1007/s10009-014-0361-y

M. Desainte-catherine, A. Allombert, and G. Assayag, Towards a Hybrid Temporal Paradigm for Musical Composition and Performance: The Case of Musical Interpretation, Computer Music Journal, vol.7, issue.2, pp.61-72, 2013.
DOI : 10.2307/2026005

J. S. Dong, Y. Liu, J. Sun, and X. Zhang, Towards verification of computation orchestration, Formal Aspects of Computing, vol.402, issue.2???3, pp.729-759, 2014.
DOI : 10.1007/s00165-013-0280-9

D. Silva, V. Kroening, D. Weissenbacher, and G. , A Survey of Automated Techniques for Formal Software Verification, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.27, issue.7, pp.1165-1178, 2008.
DOI : 10.1109/TCAD.2008.923410

J. Echeveste, A. Cont, J. Giavitto, and F. Jacquemard, dec) Operational semantics of a domain specific language for real time musician?computer interaction. Discrete Event Dynamic Systems, pp.343-383, 2013.

E. A. Emerson and E. M. Clarke, Using branching time temporal logic to synthesize synchronization skeletons, Science of Computer Programming, vol.2, issue.3, pp.241-266, 1982.
DOI : 10.1016/0167-6423(83)90017-5

D. Fober, Y. Orlarey, and S. Letz, Augmented interactive scores for music creation, Korean electroacoustic music society's 2014 annual conference, pp.85-91, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01073101

J. H. Kim, K. G. Larsen, B. Nielsen, M. Miku?ionis, and P. Olsen, Formal Analysis and Testing of Real- Time Automotive Systems Using UPPAAL Tools Formal methods for industrial critical systems -20th international workshop, pp.22-23, 2015.

M. Lindahl, P. Pettersson, and W. Yi, Formal design and analysis of a gear controller, International Journal on Software Tools for Technology Transfer, vol.3, issue.3, pp.353-368, 2001.
DOI : 10.1007/BFb0054178

R. Milner, Communication and concurrency, 1989.

C. Olarte and C. Rueda, A Declarative Language for Dynamic Multimedia Interaction Systems, pp.218-227, 2009.
DOI : 10.1007/3-540-47849-3_18
URL : https://hal.archives-ouvertes.fr/inria-00426607

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, pp.1759-1764, 2015.
DOI : 10.1145/2695664.2695804
URL : https://hal.archives-ouvertes.fr/hal-01097345

Y. Raimond, S. A. Abdallah, M. B. Sandler, and F. Giasson, The music ontology, Ismir, pp.417-422, 2007.

G. Slomp, Reducing uppaal models through control flow analysis (Unpublished master's thesis), 2010.

O. Tange, Gnu parallel -the command-line power tool. ;login: The USENIX Magazine, pp.42-47, 2011.

M. Toro, M. Desainte-catherine, and C. Rueda, Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios, Journal of Mathematics and Music, vol.330, issue.3, pp.93-112, 2014.
DOI : 10.1007/s00500-004-0390-7

M. T. Waez, J. Dingel, and K. Rudie, A survey of timed automata for the development of real-time systems, Computer Science Review, vol.9, pp.1-26, 2013.
DOI : 10.1016/j.cosrev.2013.05.001

G. Wang, P. R. Cook, and S. Salazar, ChucK: A Strongly Timed Computer Music Language, Computer Music Journal, vol.2, issue.3, pp.10-29, 2015.
DOI : 10.1162/comj.2008.32.1.26