Jinjun Chen Yun Yang Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems. 9 2011 20 ACM Trans. Softw. Eng. Methodol. 3 http://doi.acm.org/10.1145/2000791.2000793 db/journals/tosem/tosem20.html#ChenY11