Heerko Groefsema, Nick R. T. P. van Beest, Abel Armas-Cervantes: Efficient conditional compliance checking of business process models. Comput. Ind. 115: 103181 (2020)