Verifying Web services in a choreography environment. - San-Yih Hwang; Wen-Fan Hsieh; Chien-Hsiang Lee (SOCA, 2011)