A Model to Design and Verify Context-Aware Adaptive Service Composition | IEEE Conference Publication | IEEE Xplore