Verification of Communication Protocols in Web Services: Model-Checking Service Compositions - Sakib (IEEE, 2014)