A Design and Verification Framework for Service Composition in the Cloud | IEEE Conference Publication | IEEE Xplore