Nitin H. Vaidya Staggered Consistent Checkpointing. 694-702 1999 10 IEEE Trans. Parallel Distrib. Syst. 7 http://doi.ieeecomputersociety.org/10.1109/71.780864 db/journals/tpds/tpds10.html#Vaidya99