Jian Yu Tan Phan Manh Jun Han Yan Jin Yanbo Han Jianwu Wang Pattern Based Property Specification and Verification for Service Composition. 156-168 2006 conf/wise/2006 WISE http://dx.doi.org/10.1007/11912873_18 db/conf/wise/wise2006.html#YuMHJHW06