Asztalos, M., Lengyel, L., & Levendovszky, T. (2009). Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models. Electronic Communications of the EASST, 21. https://doi.org/10.14279/tuj.eceasst.21.287