Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. - Dinanath Nadkarni; Samik Basu 001; Vasant G. Honavar; Robyn R. Lutz (WS-FM, 2010)