1. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
2. Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering 16(4), 403–414 (1990)
3. W3C: State Chart XML (SCXML): State Machine Notation for Control Abstraction (February 2007), http://www.w3.org/TR/scxml/
4. Feng, T.H.: An extended semantics for a Statechart Virtual Machine. In: Bruzzone, A., Itmi, M. (eds.) Summer Computer Simulation Conference (SCSC 2003), Student Workshop, The Society for Computer Modelling and Simulation, Montréal, Canada, pp. S147–S166 (July 2003)
5. Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming 19(2), 87–152 (1992), http://citeseer.nj.nec.com/berry92esterel.html