Verification of Web Services Compositions: Applying Model Checking to BPEL4WS | Publicación