Timing Constraints Specification and Verification for Web Service Compositions | IEEE Conference Publication | IEEE Xplore