//-->
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)
A hybrid approach for generating compatible WS-BPEL partner processes
Moser, Simon, (2006)