Xutao Du Chunxiao Xing Lizhu Zhou Reachability analysis of Web service interfaces. 40-45 2008 IRI http://dx.doi.org/10.1109/IRI.2008.4583002 conf/iri/2008 db/conf/iri/iri2008.html#DuXZ08