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