Arijo, N.; Heckel, R. View-Based Modelling and State-Space Generation for Graph Transformation Systems. eceasst 2012, 47.