Formal Modeling and Analyzing the Reliability for Service Composition | IEEE Conference Publication | IEEE Xplore