V. Ad-'hoc and R. Eférencesef´eférences, Cinquì eme partie Remerciements Des remerciements particuliersàparticuliersà Florent Jacquemard pour avoir pris de son temps et m'avoir suivi et aidé durant les travaux de cette période de stage. ´ Egalement au reste de l'´ equipe MUTANT : -Arshia Cont, Thomas Coffy et Philippe Cuvillier -, pour son accueil, sa participation et sa bonne entente. Enfin, merci aux personnes du bureau B43 etàetà tout l'IRCAM

[. Echeveste and A. Cont, Operational semantics of a domain specific language for real time musician?computer interaction. Discrete Event Dynamic Systems, pp.343-383, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00854719

J. Tretmans and J. Schmaltz, On Conformance Testing for Timed Systems, Lecture Notes in Computer Science, vol.5215, 2008.

K. G. Brian-nielsen and . Larsen, Marius Miku? cionis. Uppaal tron user manual, 2009.

A. Edward and . Lee, Computing needs time, COMMUNICATIONS OF THE ACM, vol.52, issue.5, 2009.

F. Jacquemard and L. Fanchon, Formal timing analysis of mixed music scores. ICMC -International Computer Music Conference, 2013. STMS LabMuSync team, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00797595

A. Stainer-moez-krichen-nathalie-bertrand and T. Jéron, Off-line test selection with test purposes for non-deterministic timed automata, Lecture Notes in Computer Science, vol.6605, 2012.

A. Rollet, Model based testing : principes et applications dans le cadre temporisé, 2011.