A New Approach to Modeling and Analyzing Timed Compatibility of Service Composition under Temporal Constraints. - Yanxue Xing; Sujian Li; Yanhua Du; Helan Liang (ISPDC, 2016)