Srini Narayanan Sheila A. McIlraith Simulation, verification and automated composition of web services. 77-88 2002 WWW http://doi.acm.org/10.1145/511446.511457 db/conf/www/www2002.html#NarayananM02