K. Altisen, F. Maraninchi, and D. Stauch, Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework, Science of Computer Programming, vol.63, issue.3, pp.297-320, 2006.
DOI : 10.1016/j.scico.2005.12.001

P. Amatriain, D. Arumi, and . Garcia, CLAM, Proceedings of the 14th annual ACM international conference on Multimedia , MULTIMEDIA '06, pp.951-954, 2006.
DOI : 10.1145/1180639.1180847

. André, Representation and analysis of reactive behaviors: A synchronous approach, CESA'96 IMACS Multiconference: computational engineering in systems applications, pp.19-29, 1996.

M. Antonotti, A. Ferrari, A. Flesca, and A. Sangiovanni-vincentelli, Jester, Forum on Specification & Design Languages, 2000.
DOI : 10.1007/978-1-4757-3281-8_18

C. Assayag, M. Rueda, C. Laurson, O. Agon, and . Delerue, Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic, Computer Music Journal, vol.23, issue.3, pp.59-72, 1999.
DOI : 10.2307/3679811

B. Bachimont, J. F. Blanchette, A. Gerzso, A. Swetland, O. Lescurieux et al., Preserving interactive digital music: a report on the MUSTICA research initiative, Proceedings Third International Conference on WEB Delivering of Music, pp.109-112, 2003.
DOI : 10.1109/WDM.2003.1233883

A. D. Baker, T. L. Johnson, D. I. Kerpelman, and H. A. Sutherland, GRAFCET and SFC as Factory Automation Standards Advantages and Limitations, American Control Conference. IEEE, pp.1725-1730, 1987.

R. Baker and L. A. Hiller, MUSICOMP: MUsic Simulator-Interpreter for COMpositional Procedures for the IBM 7090, 1963.

F. Balarin, Hardware-software co-design of embedded systems: the POLIS approach, 1997.
DOI : 10.1007/978-1-4615-6127-9

K. Barkati, D. Fober, S. Letz, and Y. Orlarey, Two Recent Extensions to the FAUST Compiler, Proceedings of the Linux Audio Conference, 2011.

A. Benveniste and G. Berry, Another look at real-time programming, Special Section of the Proceedings of the IEEE, 1991.

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proc. IEEE 91, pp.64-83, 2003.
DOI : 10.1109/jproc.2002.805826
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6645

G. Berry, The Esterel v5 Language Primer: Version v5_91, 2000.

G. Berry and L. Cosserat, The ESTEREL synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448, 1985.
DOI : 10.1007/3-540-15670-4_19
URL : https://hal.archives-ouvertes.fr/inria-00076230

R. Bharadwaj, SOL: A Verifiable Synchronous Language for Reactive Systems, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.140-154, 2002.
DOI : 10.1016/S1571-0661(05)82565-4

P. Bjesse, K. Claessen, M. Sheeran, and S. Singh, Lava: hardware design in Haskell, Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, pp.174-184, 1998.

G. Boudol, ULM: A Core Programming Model for Global Computing, Programming Languages and Systems, pp.234-248, 2004.
DOI : 10.1007/978-3-540-24725-8_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.9093

F. Boussinot, Reactive C: An extension of C to program reactive systems, Software: Practice and Experience, vol.21, issue.4, pp.401-428, 1991.
DOI : 10.1002/spe.4380210406

F. Boussinot and R. Simone, The SL synchronous language. Software Engineering, IEEE Transactions on, vol.22, issue.4, pp.256-266, 1996.
DOI : 10.1109/32.491649
URL : https://hal.archives-ouvertes.fr/inria-00074168

F. Boussinot and J. F. Susini, The SugarCubes tool box: a reactive Java framework. Software: Practice and Experience, pp.14-1531, 1998.

J. Bresson, C. Agon, and G. Assayag, Visual Lisp/CLOS programming in OpenMusic, Higher-Order and Symbolic Computation, pp.81-111, 2009.
DOI : 10.1007/s10990-009-9044-x
URL : https://hal.archives-ouvertes.fr/hal-00683472

C. Cadoz, A. Luciani, and J. L. Florens, CORDIS-ANIMA: A Modeling and Simulation System for Sound and Image Synthesis: The General Formalism, Computer Music Journal, vol.17, issue.1, pp.19-29, 1993.
DOI : 10.2307/3680567
URL : https://hal.archives-ouvertes.fr/hal-01234319

P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis et al., From simulink to SCADE/lustre to TTA, ACM SIGPLAN Notices, vol.38, issue.7, pp.153-162, 2003.
DOI : 10.1145/780731.780754

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: A declarative language for programming synchronous systems, Conference Record of the 14th Annual ACM Symp. on Principles of Programming Languages, 1987.

P. Caspi and M. Pouzet, Synchronous Kahn networks, ACM SIGPLAN Notices, vol.31, issue.6, pp.226-238, 1996.
DOI : 10.1145/232629.232651
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.9168

N. Castagné and C. Cadoz, GENESIS : a friendly musician-oriented environment for mass-interaction physical modeling, Proceedings of the International Computer Music Conference, pp.330-337, 2002.

A. Chaudhary, A. Freed, and M. Wright, An Open Architecture for Real-time Music Software, Proceedings of the International Computer Music Conference, 2000.

M. Compton, SCOOP: An investigation of concurrency in Eiffel, 2000.

P. R. Cook and G. Scavone, The synthesis toolkit (STK), Proceedings of the International Computer Music Conference, pp.164-166, 1999.

L. Dagum and R. Menon, OpenMP: an industry standard API for shared-memory programming, IEEE Computational Science and Engineering, vol.5, issue.1, pp.46-55, 1998.
DOI : 10.1109/99.660313

R. B. Dannenberg, Machine Tongues XIX: Nyquist, a Language for Composition and Sound Synthesis, Computer Music Journal, vol.21, issue.3, pp.50-60, 1997.
DOI : 10.2307/3681013

F. Déchelle, R. Borghesi, M. De-cecco, E. Maggi, B. Rovan et al., jMax: An Environment for Real-Time Musical Applications, Computer Music Journal, vol.23, issue.3, pp.50-58, 1999.
DOI : 10.2307/3680766

F. X. Dormoy, Scade 6: a model based solution for safety critical software development, Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS'08, pp.1-9, 2008.

G. Eckel, F. Iovino, and R. Caussé, Sound synthesis by physical modelling with Modalys, Proc. International Symposium on Musical Acoustics, pp.479-482, 1995.

J. Ellsberger, D. Hogrefe, and A. Sarma, SDL: formal object-oriented language for communicating systems, 1997.

A. Gamatié, Designing embedded systems with the Signal programming language: synchronous, reactive specification, 2009.
DOI : 10.1007/978-1-4419-0941-1

E. Gaudrain and Y. Orlarey, A Faust Tutorial, 2003.

T. Gautier, P. L. Guernic, and L. Besnard, SIGNAL: A declarative language for synchronous programming of real-time systems, In Functional Programming Languages and Computer Architecture, pp.257-277, 1987.
DOI : 10.1007/3-540-18317-5_15
URL : https://hal.archives-ouvertes.fr/inria-00075791

N. Gehani and K. Ramamritham, Real-time Concurrent C: A language for programming dynamic real-time systems, Real-Time Systems, vol.20, issue.9, pp.377-405, 1991.
DOI : 10.1007/BF00365999

J. Giavitto, A Synchronous Data-Flow Language for Massively Parallel Computers, Proceedings of the International Conference on Parallel Computing'91, p.391, 1991.

A. Girault, A survey of automatic distribution method for synchronous programs, International Workshop on Synchronous Languages, Applications and Programs, SLAP, 2005.

M. Guercio, J. Barthélemy, and A. Bonardi, Authenticity issue in performing arts using live electronics, Sound and Music Computing Conference Proceedings, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01161037

N. Halbwachs, Synchronous Programming of Reactive Systems, 1993.

N. Halbwachs, A Synchronous Language at Work: The Story of Lustre, Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design, pp.3-11, 2005.
DOI : 10.1002/9781118459898.ch2
URL : https://hal.archives-ouvertes.fr/hal-00190883

D. Harel and A. Pnueli, On the Development of Reactive Systems, Weizmann Institute of Science, 1985.
DOI : 10.1007/978-3-642-82453-1_17

L. A. Hiller and R. A. Baker, Computer Cantata: A Study in Compositional Method, Perspectives of New Music, vol.3, issue.1, pp.62-90, 1964.
DOI : 10.2307/832238

P. Hudak, T. Makucevich, S. Gadde, and B. Whong, Abstract, Journal of Functional Programming, vol.27, issue.03, pp.465-483, 1996.
DOI : 10.2307/3679854

M. Ingham, R. Ragno, and B. Williams, VHDL language reference manual A Reactive Model-based Programming Language for Robotic Space Explorers, IEEE standard Proceedings of ISAIRAS-01, pp.1076-1987, 1988.

O. Initiative, IEEE Standard SystemC Language Reference Manual, IEEE Computer Society, 2002.

Y. Ishikawa, H. Tokuda, and C. W. Mercer, An object-oriented real-time programming language, Computer, vol.25, issue.10, pp.66-73, 1992.
DOI : 10.1109/2.161281

P. Jouvelot and Y. Orlarey, Dependent vector types for data structuring in multirate Faust, Computer Languages, Systems & Structures, vol.37, issue.3, pp.113-131, 2011.
DOI : 10.1016/j.cl.2011.03.001
URL : https://hal.archives-ouvertes.fr/hal-00628564

M. Laurson and J. Duthen, PatchWork, a graphical language in PreForm, Proceedings of the International Computer Music Conference, pp.172-173, 1989.

M. Laurson, M. Kuuskankare, and V. Norilo, An Overview of PWGL, a Visual Programming Environment for Music, Computer Music Journal, vol.7, issue.4, pp.19-31, 2009.
DOI : 10.2307/3680913

L. Lavagno and E. Sentovich, ECL, Proceedings of the 36th ACM/IEEE conference on Design automation conference , DAC '99, pp.511-516, 1999.
DOI : 10.1145/309847.309989

V. E. Lazzarini, The SndObj Sound Object Library, Organised Sound, vol.5, issue.01, pp.35-49, 2000.
DOI : 10.1017/S1355771800001060

L. Guernic, J. Talpin, and J. Le-lann, POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.17, issue.03, pp.261-304, 2003.
DOI : 10.1016/S0167-6423(00)00020-4
URL : https://hal.archives-ouvertes.fr/hal-00730480

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The Objective Caml system release 3.12 Documentation and user's manual, 2010.

G. Loy and C. Abbott, Programming languages for computer music synthesis, performance, and composition, ACM Computing Surveys, vol.17, issue.2, pp.235-265, 1985.
DOI : 10.1145/4468.4485

F. Mallet and C. André, On the Semantics of UML/MARTE Clock Constraints, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.305-312, 2009.
DOI : 10.1109/ISORC.2009.27
URL : https://hal.archives-ouvertes.fr/inria-00383279

L. Mandel and M. Pouzet, ReactiveML, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '05, pp.82-93, 2005.
DOI : 10.1145/1069774.1069782
URL : https://hal.archives-ouvertes.fr/hal-01508179

Z. Manna and A. Pnueli, Temporal verification of reactive systems: safety, 1995.
DOI : 10.1007/978-1-4612-4222-2

. Maraninchi, Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra, Automatic Verification Methods for Finite State Systems, pp.38-53, 1990.
DOI : 10.1007/3-540-52148-8_4

. Maraninchi, The Argos language: Graphical representation of automata and description of reactive systems, IEEE Workshop on Visual Languages, 1991.

J. Mccartney, SuperCollider, a new real time synthesis language, Proceedings of the International Computer Music Conference. International Computer Music Association, pp.257-258, 1996.

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.
DOI : 10.1145/1118890.1118892
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.735

R. Milner, A calculus of communicating systems, 1980.
DOI : 10.1007/3-540-10235-3

C. Nilson, Live coding practice, Proceedings of the 7th international conference on New interfaces for musical expression, NIME '07, 2007.
DOI : 10.1145/1279740.1279760

Y. Orlarey, D. Fober, and S. Letz, Elody: A Java + MidiShare based music composition environment, Proceedings of the International Computer Music Conference, 1997.

Y. Orlarey, D. Fober, and S. Letz, An Algebra for Block Diagram Languages, Proceedings of International Computer Music Conference, pp.542-547, 2002.

Y. Orlarey, D. Fober, and S. Letz, Syntactical and Semantical Aspects of Faust. Soft Computing-A Fusion of Foundations, Methodologies and Applications, vol.8, issue.9, pp.623-632, 2004.

Y. Orlarey, D. Fober, and S. Letz, FAUST: an Efficient Functional Approach to DSP Programming IRCAM, New Computational Paradigms for Computer, 2009.

C. Pagetti, J. Forget, F. Boniol, M. Cordovilla, and D. Lesens, Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dynamic Systems, pp.307-338, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00638936

O. Pnueli, M. Shtriehman, and . Siegel, Translation validation for synchronous languages, Automata, Languages and Programming, pp.235-246, 1998.
DOI : 10.1007/BFb0055057

A. Pop, Leveraging Streaming for Deterministic Parallelization : an Integrated Language, Compiler and Runtime Approach, 2011.
URL : https://hal.archives-ouvertes.fr/pastel-00712006

A. Pop and A. Cohen, A stream-computing extension to OpenMP, Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers, HiPEAC '11, 2011.
DOI : 10.1145/1944862.1944867
URL : https://hal.archives-ouvertes.fr/hal-00659411

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. Puckette, Pure Data: Another Integrated Computer Music Environment, Proceedings of the Second Intercollege Computer Music Concerts, pp.37-41, 1996.

M. Puckette, Max at Seventeen, Computer Music Journal, vol.26, issue.4, pp.31-43, 2002.
DOI : 10.2307/3680766

M. Puckette, The Theory and Technique of Electronic Music, 2007.
DOI : 10.1142/6277

J. H. Reppy, Concurrent Programming in ML, 1999.
DOI : 10.1017/CBO9780511574962

X. Rodet, Y. Potard, and J. B. Barriere, The CHANT Project: From the Synthesis of the Singing Voice to Synthesis in General, Computer Music Journal, vol.8, issue.3, pp.15-31, 1984.
DOI : 10.2307/3679810

C. Scaletti, Kyma: An object-oriented language for music composition, Proceedings of the International Computer Music Conference, pp.49-56, 1987.

E. D. Scheirer and B. L. Vercoe, SAOL: The MPEG-4 Structured Audio Orchestra Language, Computer Music Journal, vol.46, issue.3, pp.31-51, 1999.
DOI : 10.2307/3681361
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.7031

K. Schneider, A Verified Hardware Synthesis of Esterel Programs, Proceedings of the IFIP WG10. Kluwer, BV, pp.205-214, 2000.
DOI : 10.1007/978-0-387-35409-5_20

K. Schneider, Verification of reactive systems: formal methods and algorithms, 2004.
DOI : 10.1007/978-3-662-10778-2

K. Schneider and T. Schuele, Averest: Specification, verification, and implementation of reactive systems, Conference on Application of Concurrency to System Design (ACSD), 2005.

D. Simon and A. Girault, Synchronous programming of automatic control applications using OrCAD and Esterel, Proceedings of the 40th IEEE Conference on Decision and Control, pp.3290-3295, 2001.

J. O. Smith and I. , Audio Signal Processing in Faust, 2010.

A. Sorensen, Impromptu: An interactive programming environment for composition and performance, Proceedings of the Australasian Computer Music Conference, 2005.

H. Taube, Common Music: A Music Composition Language in Common Lisp and CLOS, Computer Music Journal, vol.15, issue.2, pp.21-32, 1991.
DOI : 10.2307/3680913

P. Teehan, M. Greenstreet, and G. Lemieux, A survey and taxonomy of GALS design styles. Design & Test of Computers, IEEE, vol.24, issue.5, pp.418-428, 2007.

W. Thies, M. Karczmarek, S. Amarasinghe, D. E. Thomas, and P. R. Moorby, StreamIt: A Language for Streaming Applications The Verilog hardware description language, International Conference on Compiler Construction, 2002.

A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.
DOI : 10.1145/352029.352035

P. Van-roy, Programming Paradigms for Dummies: What Every Programmer Should Know. New Computational Paradigms for Computer Music, 2009.

B. Vercoe, Csound: a manual for the audio processing system and supporting programs with tutorials, 1992.

G. Wang and P. R. Cook, The ChucK Manual 1.2.1.3, 2007.

G. Wang and P. R. Cook, ChucK, Proceedings of the 12th annual ACM international conference on Multimedia , MULTIMEDIA '04, pp.219-226, 2003.
DOI : 10.1145/1027527.1027716

M. Wright, Open Sound Control: an enabling technology for musical networking, Organised Sound, vol.10, issue.03, pp.3-193, 2005.
DOI : 10.1017/S1355771805000932

D. Zicarelli, An extensible real-time signal processing environment for Max, Proceedings of the International Computer Music Conference, pp.463-466, 1998.