Domenico Bianculli Carlo Ghezzi Paola Spoletini A Model Checking Approach to Verify BPEL4WS Workflows. 13-20 2007 conf/soca/2007 SOCA http://dx.doi.org/10.1109/SOCA.2007.5 db/conf/soca/soca2007.html#BianculliGS07