Golas, U., Biermann, E., Ehrig, H., & Ermel, C. (2011). A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. Electronic Communications of the EASST, 39. https://doi.org/10.14279/tuj.eceasst.39.645