"Analyzing interacting WS-BPEL processes using flexible model generation."

Niels Lohmann et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics