A New Approach to Modeling and Analyzing Timed Compatibility of Service Composition under Temporal Constraints | IEEE Conference Publication | IEEE Xplore