Asztalos, Márk, László Lengyel, and Tihamér Levendovszky. “Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models”. Electronic Communications of the EASST 21 (November 26, 2009). Accessed November 23, 2024. https://eceasst.org/index.php/eceasst/article/view/1581.