Azlan Ismail Jun Yan Jun Shen Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation. 343-350 2009 WISE http://dx.doi.org/10.1007/978-3-642-04409-0_35 conf/wise/2009 db/conf/wise/wise2009.html#IsmailYS09