1. Scenario-driven analysis of systems specified through graph transformations;Rafe;Vis. Lang. Comput.,2013
2. Tutorial introduction to graph transformation: a software engineering perspective;Baresi,2002
3. Fundamentals of Algebraic Graph Transformation;Ehrig,2006
4. The GROOVE simulator: a tool for state space generation, applications of graph transformations with industrial relevance (AGTIVE);Rensink;LNCS,2003
5. An efficient solution for model checking graph transformation systems;Baresi;Electron. Notes Theor. Comput. Sci.,2008