U. Golas, E. Biermann, H. Ehrig, and C. Ermel, “A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation”, eceasst, vol. 39, Sep. 2011.