A. Amar, P. Boulet, and P. Dumont, Projection of the Array-OL Specification Language onto the Kahn Process Network Computation Model, 8th International Symposium on Parallel Architectures,Algorithms and Networks (ISPAN'05)
DOI : 10.1109/ISPAN.2005.70
URL : https://hal.archives-ouvertes.fr/inria-00565167

C. André, Computing SyncCharts Reactions, Electronic Notes in Theoretical Computer Science, vol.88, pp.3-19, 2004.
DOI : 10.1016/j.entcs.2003.05.007

A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages twelve years later, Proceedings of the IEEE, pp.64-83, 2003.

L. Besnard, H. Marchand, and E. Rutten, The Sigali Tool Box Environment. Workshop on Discrete Event Systems, p.6, 2006.

L. Bougé, D. Cachera, Y. Le-guyadec, G. Utard, and B. Virot, Formal validation of data parallel programs: Introducing the assertional approach, The Data Parallel Programming Model, pp.252-281, 1996.
DOI : 10.1007/3-540-61736-1_51

P. Boulet, Array-OL revisited, multidimensional intensive signal processing specification, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00128840

C. Brunette, J. Talpin, L. Besnard, and T. Gautier, Modeling multi-clocked dataflow programs using the Generic Modeling Environment, Synchronous Languages, Applications, and Programming, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00541310

P. Dumont and P. Boulet, Another multidimensional synchronous dataflow: Simulating Array-Ol in Ptolemy II, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070490

. Eclipse, Eclipse Modeling Framework (EMF)

A. Etien, C. Dumoulin, and E. Renaux, Towards a Unified Notation to Represent Model Transformation, Research Report, vol.6187, p.5, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00145204

A. Gamatié, E. Rutten, H. Yu, P. Boulet, and J. Dekeyser, Synchronous Modeling and Analysis of Data Intensive Applications, EURASIP Journal on Embedded Systems, vol.2008, issue.1, 2006.
DOI : 10.1007/BF01379404

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proceedings of the IEEE, 1991.

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

. Inria-atlas-project and . Atl, http://modelware.inria.fr/rubrique12.html. INRIA [16] INRIA DaRT Project. Demos: Gaspard2 to Lustre

A. Kountouris and P. L. Guernic, Profiling of SIGNAL programs and its application in the timing evaluation of design implementations, IEE Colloquium on Hardware-Software Cosynthesis for Reconfigurable Systems, pp.6-7, 1996.
DOI : 10.1049/ic:19960225
URL : https://hal.archives-ouvertes.fr/hal-00544253

O. Labbani, J. Dekeyser, P. Boulet, and E. Rutten, Advances in Design and Specification Languages for SoCs, Selected contributions from FDL'06, chapter UML2 Profile for Modeling Controlled Data Parallel Applications, 2007.

B. Lisper, Data parallelism and functional programming, The Data Parallel Programming Model, pp.220-251, 1996.
DOI : 10.1007/3-540-61736-1_50

F. Maraninchi and Y. Rémond, Argos: an automaton-based synchronous language, Computer Languages, vol.27, issue.1-3, pp.61-92, 2001.
DOI : 10.1016/S0096-0551(01)00016-9
URL : https://hal.archives-ouvertes.fr/hal-00273055

F. Maraninchi, Y. Rémond, and Y. , MATOU: An Implementation of Mode- Automata into DC, Compiler Construction, 2000.

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of Discrete- Event Controllers based on the Signal Environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

H. Marchand, E. Rutten, M. L. Borgne, and M. Samaan, Formal verification of programs specified with signal: application to a power transformer station controller, Science of Computer Programming, vol.41, issue.1, pp.85-104, 2001.
DOI : 10.1016/S0167-6423(00)00020-4
URL : https://hal.archives-ouvertes.fr/inria-00526287

M. Planet, Model driven engineering

M. Object and . Group, MOF Query / Views / Transformations. http://www.omg.org/cgi-bin/doc?ptc, 2005.

. Ch, Définition et réalisation d'un outil de vérification Formelle de Programmes Lustre : Le système LESAR, 1992.

L. Rioux, T. Saunier, S. Gerard, A. Radermacher, R. De-simone et al., MARTE: A new profile RFP for the modeling and analysis of real-time embedded systems, UML-SoC'05, DAC 2005 Workshop UML for SoC Design, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01071285

I. Unité-de-recherche, . Lorraine, . Loria, and . Technopôle-de-nancy, Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex