Automatized Checking of Business Rules for Activity Execution Sequence in Workflows. - Cristiano Barros; Mark A. J. Song (J. Softw., 2012)