Zuling Kang, Hongbing Wang: Verifying WS-CDL-Based Web Services Collaboration by Model Checking. SERVICES I 2009: 554-561