1. André, C., Boufaïed, H., Dissoubray, S.: Synccharts: un modéle graphique synchrone pour systéme réactifs complexes. In: Real-Time Systems (RTS 1998), Paris, France, January 1998, pp. 175–196. Teknea (1998)
2. Berry, G.: The Constructive Semantics of Pure Esterel. Draft Book (1996), http://www.esterel-technologies.com
3. Berry, G.: The Foundations of Esterel. In: Plotkin, G., Stearling, C., Tofte, M. (eds.) Proof, Language, and Interaction, Essays in Honor of Robin Milner. MIT Press, Cambridge (2000)
4. Lecture Notes in Computer Science;A. Cimatti,2002
5. Lecture Notes in Computer Science;P. Cousot,2002