Asztalos, Mark, et al. “Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations”. Electronic Communications of the EASST, vol. 42, July 2011, doi:10.14279/tuj.eceasst.42.603.