Cedric Favre

• Detecting, Understanding, and Fixing Control-Flow Errors in Business Process Models