Timing Constraints Specification and Verification for Web Service Compositions. - Dai, Guilan; Liu, Rujuan; Zhao, Chongchong; Hu, Changjun (2008)