N. Arijo and R. Heckel, “View-based Modelling and State-Space Generation for Graph Transformation Systems”, ECEASST, vol. 47, Jul. 2012.