Formal approach for compliance rules checking in business process models | IEEE Conference Publication | IEEE Xplore