1

Nicolas Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, Norwell, MA, 1992

2

[2] A. Benveniste, G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol. 79, no. 9, septembre 1991.

3

[3] G. Berry, S. Moisan, and J-P. Rigault, ESTEREL: Towards a Synchronous and Semantically Sound High-Level Language for Real-Time Applications. Proc. IEEE Real-Time Systems Symposium, Arlington, Virginia, IEEE Catalog 83CH1941-4 (1983) 30-40.

4

Gérard Berry , Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, v.19 n.2, p.87-152, Nov. 1992  [doi>10.1016/0167-6423(92)90005-V]

5

[5] G. Berry, The Esterel Primer, Ecole des Mines, Centre de Mathématiques Appliquées, Sophia-Antipolis, http://www-sop.inria.fr/meije/esterel.

6

Gérard Berry, The foundations of Esterel, Proof, language, and interaction: essays in honour of Robin Milner, MIT Press, Cambridge, MA, 2000

7

[7] N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol. 79, no. 9, septembre 1991.

8

[8] P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire, Programming real-time applications with SIGNAL, Proceedings of the IEEE, vol. 79, no. 9, septembre 1991.

9

[9] D. Harel, STATECHARTS : a visual approach to complex systems, Advanced NATO institute on logics and models for verification and specification of concurrent systems, 1984.

10

[10] G. Gonthier, Sémantiques et modèles d'exécution des langages réactifs synchrones : application à ESTEREL, Thèse de l'université de Paris-sud, centre d'Orsay, mars 1988.

11

[11] F. Mignard, Compilation du langage ESTEREL en systèmes d'équations booléennes, Thèse de l'Ecole des Mines de Paris, octobre 1994.

12

Stephen A. Edwards, Compiling Esterel into sequential code, Proceedings of the seventh international workshop on Hardware/software codesign, p.147-151, March 1999, Rome, Italy  [doi>10.1145/301177.301514]

13

[13] V. Bertin, M. Poize, J. Pulou, "Une nouvelle Méthode de Compilation pour le Langage ESTEREL", Journées Thématiques Universités/Industries sur l'Adéquation Algorithme-Archietecture pour les Applications Temps-Réel Complexes, Lille, March 1999.

14

[14] V. Bertin, M. Poize, J. Pulou , J. Sifakis "Towards Validated Real-Time Software", Euromicro Conference on Real-Time Systems, Stockholm, Sweden, June 2000.

15

[15] Charles André, Representation and Analysis of Reactive Behaviors, A Synchronous Approach. CESA'96, IEEE-SMC, Lille(F), July 9-12, 1996.

16

[16] R. Bernhard, G. Berry et al., "Programming a Reflex Game in ESTEREL V3", available on http://www-sop.inria.fr/meije/esterel.

17

[17] J. C. Bauer, E. Closse, E. Flamand, M. Poize, J. Pulou, P. Venier, "SAXO, a re-targetable Optimized Compiler for DSPs", Proceedings of the 8th International Conference on Signal Processing Applications & Technology, San Diego, California, USA, pp. 1032-1036, September 14-17, 1997.

18

Jeanne Ferrante , Mary Mace, On linearizing parallel code, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.179-190, January 14-16, 1985, New Orleans, Louisiana, United States  [doi>10.1145/318593.318636]

19

B. Simons , D. Alpern , J. Ferrante, A foundation for sequentializing parallel code, Proceedings of the second annual ACM symposium on Parallel algorithms and architectures, p.350-359, July 02-06, 1990, Island of Crete, Greece  [doi>10.1145/97444.97702]

Yunjian Jiang , Robert K. Brayton, Software synthesis from synchronous specifications using logic simulation techniques, Proceedings of the 39th conference on Design automation, June 10-14, 2002, New Orleans, Louisiana, USA

Thomas A. Henzinger , Christoph M. Kirsch, The embedded machine: predictable, portable real-time code, ACM SIGPLAN Notices, v.37 n.5, May 2002

Massimo Baleani , Frank Gennari , Yunjian Jiang , Yatish Patel , Robert K. Brayton , Alberto Sangiovanni-Vincentelli, HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform, Proceedings of the tenth international symposium on Hardware/software codesign, May 06-08, 2002, Estes Park, Colorado

Stephen A. Edwards, Tutorial: Compiling concurrent languages for sequential processors, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.8 n.2, p.141-187, April 2003

Dumitru Potop-Butucaru , Robert de Simone, Optimization for faster execution of Esterel programs, Formal methods and models for system design: a system level perspective, Kluwer Academic Publishers, Norwell, MA, 2004

Thomas A. Henzinger , Christoph M. Kirsch, The embedded machine: Predictable, portable real-time code, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.6, p.33-es, October 2007

Youngchul Cho , Kiyoung Choi, Code decomposition and recomposition for enhancing embedded software performance, Proceedings of the 2009 Conference on Asia and South Pacific Design Automation, January 19-22, 2009, Yokohama, Japan

Daniel Weil: colleagues

Valérie Bertin: colleagues

Etienne Closse: colleagues

Michel Poize: colleagues

Patrick Venier: colleagues

Jacques Pulou: colleagues