Fevzi Belli Michael Linschulte Event-Driven Modeling and Testing of Web Services. 1168-1173 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.144 conf/compsac/2008 db/conf/compsac/compsac2008.html#BelliL08