Arijo, N. and Heckel, R. (2012) “View-based Modelling and State-Space Generation for Graph Transformation Systems”, Electronic Communications of the EASST, 47. doi: 10.14279/tuj.eceasst.47.737.