Asztalos, M. (2011) “Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations”, Electronic Communications of the EASST, 42. doi: 10.14279/tuj.eceasst.42.603.