Asztalos, Mark, Péter Ekler, László Lengyel, Tihamér Levendovszky, Gergely Mezei, and Tamás Mészáros. 2011. “Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations”. Electronic Communications of the EASST 42 (July). https://doi.org/10.14279/tuj.eceasst.42.603.