A Framework for Model Checking Web Service Compositions Based on BPEL4WS | IEEE Conference Publication | IEEE Xplore