https://5dok.net/document/1y9k95rz-a-compositional-semantics-for-statecharts.html