Tool Support for BPEL Verification in ActiveBPEL Engine | IEEE Conference Publication | IEEE Xplore