Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysisWolfram AmmeAxel Martenset al.2009International Journal of Business Process Integration and Management