Cheikh Ba Mírian Halfeld Ferrari Dependence graphs for verifications of web service compositions with PEWS. 2387-2391 2008 SAC http://doi.acm.org/10.1145/1363686.1364253 conf/sac/2008 db/conf/sac/sac2008.html#BaF08