Asztalos, M.; Ekler, P.; Lengyel, L.; Levendovszky, T.; Mezei, G.; Mészáros, T. Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. ECEASST 2011, 42.