1. C. André Representation and analysis of reactive behaviors: A synchronous approach IEEE-SMC'96, Computational Engineering in Systems Applications 1996
2. A. D. Baker T. L. Johnson D. I. Kerpelman H. A. Sutherland Grafcet and SFC as factory automation standards American Control Conference 1725 1730 1987
3. The Esterel synchronous programming language: Design, semantics, implementation;Berry;Science of Computer Programming,1992
4. Texts in Theoretical Computer Science. An EATCS Series;Bertot,2004