Simon Moser Axel Martens Katharina Görlach Wolfram Amme Artur Godlinski Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. 98-105 2007 conf/IEEEscc/2007 IEEE SCC http://doi.ieeecomputersociety.org/10.1109/SCC.2007.22 db/conf/IEEEscc/scc2007.html#MoserMGAG07