Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B | IEEE Conference Publication | IEEE Xplore