1. Adaptive automata for context-dependent languages;José Neto;ACM SIGPLAN Notices,1994
2. José Neto, J., Pariente, C.A.B.. Adaptive automata - a revisited proposal. In: CIAA 2002: Proceedings of the 7th International Conference on Implementation and Application of Automata - Lecture Notes in Computer Science; vol. 2608. Springer-Verlag; July, 2002, p. 158–168.
3. Statecharts: a visual formalism for complex systems;Harel;Science of Computer Programming,1987
4. On the development of reactive systems;Harel,1985
5. Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.. Modeling Software with Finite State Machines: A Practical Approach. Hoboken, NJ: Taylor and Francis; 2006. URL http://cds.cern.ch/record/1985457.