Return to Article Details Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models Download Download PDF