. Strong-applications, This work has been partly supported by the ANR projects SymBioTIC (ANR-10-BLAN-0307) and INEDIT (ANR-12-CORD-0009)

]. A. Alfonso, V. Braberman, N. Kicillof, and A. Olivero, Visual timed event scenarios, Proceedings. 26th International Conference on Software Engineering, pp.168-177, 2004.
DOI : 10.1109/ICSE.2004.1317439

R. Alur and T. A. Henzinger, A really temporal logic, Journal of the ACM, vol.41, issue.1, pp.181-203, 1994.
DOI : 10.1145/174644.174651

E. Asarin, P. Caspi, and O. Maler, Timed regular expressions, Journal of the ACM, vol.49, issue.2, pp.172-206, 2002.
DOI : 10.1145/506147.506151

A. Bauer, M. Leucker, and C. Schallhart, Runtime Verification for LTL and TLTL, ACM Transactions on Software Engineering and Methodology, vol.20, issue.4, p.14, 2011.
DOI : 10.1145/2000799.2000800

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

G. Berry and G. Gonthier, The Esterel synchronous programming language: Design, semantics, implementation. Science of computer programming, pp.87-152, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

P. Bouyer, F. Chevalier, and D. Souza, Fault Diagnosis Using Timed Automata, Foundations of Software Science and Computational Structures, pp.219-233, 2005.
DOI : 10.1007/978-3-540-31982-5_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.7570

J. A. Brzozowski, Derivatives of Regular Expressions, Journal of the ACM, vol.11, issue.4, pp.481-494, 1964.
DOI : 10.1145/321239.321249

A. Cont, Antescofo: Anticipatory synchronization and control of interactive parameters in computer music, Proceedings of International Computer Music Conference (ICMC)
URL : https://hal.archives-ouvertes.fr/hal-00694803

G. Cugola and A. Margara, Processing flows of information, ACM Computing Surveys, vol.44, issue.3, p.15, 2012.
DOI : 10.1145/2187671.2187677

R. B. Dannenberg, An on-line algorithm for real-time accompaniment, Proceedings of the International Computer Music Conference (ICMC), pp.193-198, 1984.

D. D-'souza, A Logical Characterisation of Event Clock Automata, International Journal of Foundations of Computer Science, vol.14, issue.04, pp.625-639, 2003.
DOI : 10.1142/S0129054103001923

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, pp.343-383, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00854719

C. Elliott and P. Hudak, Functional reactive animation, ACM SIGPLAN Notices, vol.32, issue.8, pp.263-273, 1997.
DOI : 10.1145/258949.258973

J. Freeman, Web-based collaboration, live musical performance and open-form scores, International Journal of Performance Arts & Digital Media, vol.6, issue.2, pp.149-170, 2010.
DOI : 10.1386/padm.6.2.149_1

J. Giavitto, O. Michel, J. Giavitto, O. Michel, and J. Cohen, Declarative definition of group indexed data structures and approximation of their domains Pattern-matching and rewriting rules for group indexed data structures, Proceedings of the 3rd ACM PPDP Conference Selected papers from the workshops of the fourth Principles, Logics, and Implementations of High-Level Programming Languages (PLI) confederation of conferences, pp.150-16176, 2001.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

R. Koymans, Specifying real-time properties with metric temporal logic. Real-time systems, pp.255-299, 1990.

E. A. Lee, Computing needs time, Communications of the ACM, vol.52, issue.5, pp.70-79, 2009.
DOI : 10.1145/1506409.1506426

D. C. Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, 2002.
DOI : 10.1007/978-3-540-88808-6_2

L. Maranget, Compiling pattern matching to good decision trees, Proceedings of the 2008 ACM SIGPLAN workshop on ML, ML '08, pp.35-46, 2008.
DOI : 10.1145/1411304.1411311

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

P. D. Mosses, Handbook of Theoretical Computer Science, Denotational Semantics, vol.2, pp.575-631, 1990.

N. W. Paton and O. Díaz, Active database systems, ACM Computing Surveys, vol.31, issue.1, pp.63-103, 1999.
DOI : 10.1145/311531.311623

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

M. Roesch, Snort: Lightweight intrusion detection for networks, LISA, pp.229-238, 1999.

M. Roger and J. Goubault-larrecq, Log auditing through model-checking, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., pp.220-0220, 2001.
DOI : 10.1109/CSFW.2001.930148
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9868

M. H. Smith, G. J. Holzmann, and K. Etessami, Events and constraints: a graphical editor for capturing logic requirements of programs, Proceedings Fifth IEEE International Symposium on Requirements Engineering, pp.14-22, 2001.
DOI : 10.1109/ISRE.2001.948539

M. Y. Vardi, An automata-theoretic approach to linear temporal logic, Logics for concurrency, pp.238-266, 1996.
DOI : 10.1007/3-540-60915-6_6

B. Vercoe, The synthetic performer in the context of live performance, Proceedings of the ICMC, pp.199-200, 1984.

E. Wu, Y. Diao, and S. Rizvi, High-performance complex event processing over streams, Proceedings of the 2006 ACM SIGMOD international conference on Management of data , SIGMOD '06, pp.407-418, 2006.
DOI : 10.1145/1142473.1142520