//-->
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
Amme, Wolfram, (2009)
Diagnosing SCA components using WOMBAT
Martens, Axel, (2006)