1. Berry G. Real time programming: special purpose or general purpose languages. In: IFIP Congress; 1989. p. 11–7.
2. Berry G. The semantics of pure esterel; 1993. URL 〈citeseer.ist.psu.edu/berry93semantics.html〉.
3. The synchronous dataflow programming language Lustre;Halbwachs;Proc IEEE,1991
4. Gamati A. Designing embedded systems with the Signal programming language: synchronous, reactive specification. New York: Springer-Verlag, 2009.
5. Safety property verification of Esterel programs and applications to telecommunications software;Jagadeesan,1995