Automated Error Correction of Business Process Models · Study