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

F. Boussinot, D. Simone, and R. , The ESTEREL language, Proceedings of the IEEE, pp.1293-1304, 1991.
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075

P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis et al., « From Simulink to SCADE/Lustre to TTA : A layered approach for distributed embedded applications, Proceedings of the LCTES 2003, 2003.

P. Caspi, A. Girault, and D. Pilaud, Automatic distribution of reactive systems for asynchronous networks of processors, IEEE Transactions on Software Engineering, vol.25, issue.3, pp.416-427, 1999.
DOI : 10.1109/32.798329
URL : https://hal.archives-ouvertes.fr/inria-00073196

J. Couvreur, E. Encrenaz, E. Paviot-adet, D. Poitrenaud, and P. Wacrenier, Data Decision Diagrams for Petri Net Analysis, Proceedings of the 23rd International Conference, 2002.
DOI : 10.1007/3-540-48068-4_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.212.7533

J. Dennis, First version of a data flow procedure language, Lecture Notes in Computer Sci, vol.19, pp.362-376, 1974.
DOI : 10.1007/3-540-06859-7_145

T. Grandpierre, C. Lavarenne, and Y. Sorel, Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors, Proceedings of the seventh international workshop on Hardware/software codesign , CODES '99, 1999.
DOI : 10.1145/301177.301489
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.3154

D. Harel and . Statecharts, 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

X. Liu, J. Liu, J. Eker, and E. A. Lee, « Heterogeneous Modeling and Design of Control Systems », Software-Enabled Control : Information Technology for Dynamical Systems, Tariq Samad and Gary Balas edn, 2003.

O. Maffeïs, Ordonnancements de graphes de flots synchrones ; Application à la mise en oeuvre de SIGNAL, 1993.

O. Maffeïs, L. Guernic, and P. , Distributed implementation of SIGNAL: Scheduling & graph clustering, pp.547-566, 1994.
DOI : 10.1007/3-540-58468-4_183

N. Pernet and Y. Sorel, « Optimized implementation of distributed real-time embedded systems mixing control and data processing, Proceedings of the ISCA 16th International Conference : Computer Applications in Industry and Engineering (CAINE-2003), 2003.

Y. Sorel, Massively parallel computing systems with real time constraints: the "Algorithm Architecture Adequation" methodology, Proceedings of the First International Conference on Massively Parallel Computing Systems (MPCS) The Challenges of General-Purpose and Special-Purpose Computing, 1994.
DOI : 10.1109/MPCS.1994.367018