Verification of Communication Protocols in Web Services: Model-Checking Service Compositions | IEEE eBooks | IEEE Xplore