S. Akshay, B. Bollig, P. Gastin, M. Mukund, N. Kumar et al., Distributed Timed Automata with Independently Evolving Clocks, Proc. of the 19th Int. Conf. on Concurrency Theory, pp.82-97, 2008.
DOI : 10.1007/978-3-540-85361-9_10

URL : https://hal.archives-ouvertes.fr/hal-01089524

R. Alur, T. A. Henzinger, and M. Y. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.592-601, 1993.
DOI : 10.1145/167088.167242

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.3317

É. André, C. Th, D. Smet, O. Fribourg, L. Ruel et al., Synth??se de contraintes temporis??es pour une architecture d'automatisation en r??seau, Actes du 7ème Colloque sur la Modélisation des Systèmes Réactifs (MSR), pp.1049-1064, 2009.
DOI : 10.3166/jesa.43.1049-1064

É. André, C. Th, E. Encrenaz, and L. Fribourg, AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA, International Journal of Foundations of Computer Science, vol.20, issue.05, pp.819-836, 2009.
DOI : 10.1142/S0129054109006905

J. Bertrane, Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems, Proc. of the 13th Int. Symposium on Static Analysis (SAS), pp.370-386, 2006.
DOI : 10.1007/11823230_24

A. Cont and «. Antescofo, Anticipatory Synchronization and Control of Interactive Parameters in Computer Music, Proc. of Int. Comp. Music Conference (ICMC), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00694803

A. Cont, . Ieee, and . Tpami, « A coupled duration-focused architecture for realtime music to score alignment, pp.974-987, 2010.

R. B. Dannenberg, « An On-Line Algorithm for Real-Time Accompaniment, Proc. of the Int. Comp. Music Conf. (ICMC), pp.193-198, 1984.

J. Echeveste, « Stratégies de synchronisation et gestion des variables pour l'accompagnement musical automatique, Master ATIAM, 2011.
DOI : 10.3166/jesa.45.109-124

B. Vercoe, « The Synthetic Performer in the Context of Live Performance, Proceedings of the ICMC, pp.199-200, 1984.

R. Wilhelm, The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.36-37, 2008.
DOI : 10.1145/1347375.1347389