Pattern Based Property Specification and Verification for Service Composition. - Jian Yu 002; Tan Phan Manh; Jun Han 004; Yan Jin; Yanbo Han; Jianwu Wang 001 (WISE, 2006)