Hongli Yang Xiangpeng Zhao Chao Cai Zongyan Qiu Model-Checking of Web Services Choreography. 79-84 2008 SOSE http://dx.doi.org/10.1109/SOSE.2008.40 conf/sose/2008 db/conf/sose/sose2008.html#YangZCQ08