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.