Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process | IEEE Conference Publication | IEEE Xplore