//-->
A hybrid approach for generating compatible WS-BPEL partner processes
Moser, Simon, (2006)
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
Amme, Wolfram, (2009)