MODEL CHECKING | part of Verification of Communication Protocols in Web Services: Model-Checking Service Compositions | Wiley-IEEE Press books | IEEE Xplore