Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes | IEEE Conference Publication | IEEE Xplore