Asztalos, Márk, László Lengyel, and Tihamér Levendovszky. 2009. “Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models”. Electronic Communications of the EASST 21 (November). https://doi.org/10.14279/tuj.eceasst.21.287.