Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysisSimon MoserAxel Martenset al.2007SCC 2007