Arijo, Niaz, and Reiko Heckel. “View-Based Modelling and State-Space Generation for Graph Transformation Systems”. Electronic Communications of the EASST 47 (July 31, 2012). Accessed August 3, 2025. https://www.eceasst.org/index.php/eceasst/article/view/1947.