Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. - Simon Moser; Axel Martens; Katharina Görlach; Wolfram Amme; Artur Godlinski (IEEE SCC, 2007)