Formally Modeling and Analyzing the Reliability of Composite Service Evolution | IEEE Conference Publication | IEEE Xplore