M. Asztalos, P. Ekler, L. Lengyel, T. Levendovszky, G. Mezei, and T. Mészáros, “Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations”, eceasst, vol. 42, Jul. 2011.