1. André C (1996) SyncCharts: a visual representation of reactive behaviors. Tech. rep. RR 95–52, rev. RR (96–56). I3S, Sophia-Antipolis
2. André C (2003) Semantics of S.S.M. (safe state machine). Tech. rep. Esterel Technologies, Sophia-Antipolis
3. André C, Peraldi MA (1993) Grafcet and synchronous languages. APII 27(1):95–105
4. Balbo G (2000) Introduction to stochastic Petri nets. In: Brinksma E, Hermanns H, Katoen JP (eds) Lectures on formal methods and performance analysis, first EEF/Euro summer school on trends in computer science, Berg en Dal, The Netherlands, July 3–7, 2000, revised lectures. Lecture notes in computer science, vol 2090, pp 84–155. Springer, Heidelberg
5. Benveniste A, Caspi P, Edwards S, Halbwachs N, Le Guernic P, de Simone R (2003) The synchronous languages 12 years later. Proc IEEE 91(1):64–83. doi: 10.1109/JPROC.2002.805826