Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz. Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. In Mario Bravetti, Tevfik Bultan, editors, Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers. Volume 6551 of Lecture Notes in Computer Science, pages 161-175, Springer, 2010. [doi]