Chiara Bodei Linda Brodo Roberto Bruni Static Detection of Logic Flaws in Service-Oriented Applications. 70-87 2009 ARSPA-WITS http://dx.doi.org/10.1007/978-3-642-03459-6_5 conf/ifip1-7/2009wits db/conf/ifip1-7/wits2009.html#BodeiBB09