A minimum proportional time redundancy based checkpoint selection strategy for dynamic verification of fixed-time constraints in grid workflow systems | IEEE Conference Publication | IEEE Xplore