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

M. Krichen and S. Tripakis, Black-Box Conformance Testing for Real-Time Systems, pp.109-126, 2004.
DOI : 10.1007/978-3-540-24732-6_8

J. Blom, A. Hessel, B. Jonsson, and P. Pettersson, Specifying and Generating Test Cases Using Observer Automata, FATES'04, 2004.
DOI : 10.1007/3-540-40911-4_20

A. Cont, Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo, ICMC 2012
URL : https://hal.archives-ouvertes.fr/hal-00718854

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

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, J. Giavitto, and A. Cont, A Dynamic Timed-Language for Computer-Human Musical Interaction, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00917469

T. A. Henzinger, Two challenges in embedded systems design: predictability and robustness, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.39, issue.1881, pp.3727-3736, 1881.
DOI : 10.1098/rsta.2008.0141

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

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

T. A. Henzinger and C. M. Kirsch, The Embedded Machine: Predictable, Portable Real-time Code, ACM Trans. Program. Lang. Syst, vol.29, issue.6, 2007.

F. Jacquemard and C. Poncelet, Antescofo Intermediate Representation, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00979359

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

M. Broy, B. Jonsson, J. Katoen, M. Leucker, and A. Pretschner, Model-Based Testing of Reactive Systems, 2005.
DOI : 10.1007/b137241

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

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