Jinjun Chen Yun Yang Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems. 141-150 2008 ICSE http://doi.acm.org/10.1145/1368088.1368108 conf/icse/2008 db/conf/icse/icse2008.html#ChenY08