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