Asztalos, M., Ekler, P., Lengyel, L., Levendovszky, T., Mezei, G., & Mészáros, T. (2011). Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. Electronic Communications of the EASST, 42. https://doi.org/10.14279/tuj.eceasst.42.603