A New Approach for the Verification of BPMN Models Using Refinement Patterns | IEEE Conference Publication | IEEE Xplore