Towards Correct Cloud Resource Allocation in Business Processes | IEEE Journals & Magazine | IEEE Xplore