Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols | IEEE Conference Publication | IEEE Xplore