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.