Pattern-Based Model Checking for Dynamic Analysis of Workflow Processes with Temporal Constraints | IEEE Conference Publication | IEEE Xplore