Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes | IEEE Conference Publication | IEEE Xplore