Niels Lohmann Peter Massuthe Christian Stahl Daniela Weinberg Analyzing interacting WS-BPEL processes using flexible model generation. 38-54 2008 64 Data Knowl. Eng. 1 http://dx.doi.org/10.1016/j.datak.2007.06.006 db/journals/dke/dke64.html#LohmannMSW08