Direct Verification of BPMN Processes through an Optimized Unfolding Technique | IEEE Conference Publication | IEEE Xplore