Verifying WS-CDL-Based Web Services Collaboration by Model Checking | IEEE Conference Publication | IEEE Xplore