Reference: Narayanan, S. & McIlraith, S. Simulation, Verification and Automated Composition of Web Services. The Proceedings of the Eleventh International World Wide Web Conference (WWW-11), May, 2002, 2002.
Abstract:
Full paper available as pdf, ps.