A Method for Modeling and Analyzing Fault-Tolerant Service Composition | IEEE Conference Publication | IEEE Xplore