G. Berry and G. Gonthier, The Esterel Synchronous Language: Design, Semantics, Implementation, Science of Computer Programming, vol.19, issue.2, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

]. G. Be and . Berry, The Constructive Semantics of Esterel, 1995.

]. F. Bo and . Boussinot, Reactive-C: An extension of C to program reactive systems, Software Practice and Experience, pp.401-428, 1991.

. F. Bds, R. D. Boussinot, and . Simone, The SL Synchronous Language, IEEE Trans. Software Engineering, vol.22, issue.4, 1996.

. F. Bs, J. Boussinot, and . Susini, The SugarCubes Tool Box -Definition, INRIA Research Report, vol.3247, 1997.

. J. Gjs, B. Gosling, G. Joy, and . Steele, The Java Language Specification, 1996.

. N. Hcrr, P. Halbwachs, P. Caspi, . Raymond, and . Ch, The Synchronous Dataflow Programming Language Lustre, Proc. IEEE, p.79, 1991.

. D. Hp, A. Harel, and . Pnueli, On the Development of Reactive Systems, NATO ASI Series F, vol.13, 1985.

]. D. Har and . Harel, StateCharts: A Visual Approach to Complex Systems, Science of Computer Programming, vol.8, issue.3, 1987.

A. [. Leguernic, P. Benveniste, T. Bournai, and . Gautier, SIGNAL: A Dataflow Oriented Language for Signal Processing, IEEE-ASSP, vol.34, issue.2, 1986.