Ron Oldfield Sarala Arunagiri Patricia J. Teller Seetharami R. Seelam Maria Ruiz Varela Rolf Riesen Philip C. Roth Modeling the Impact of Checkpoints on Next-Generation Systems. 30-46 2007 conf/mss/2007 MSST http://doi.ieeecomputersociety.org/10.1109/MSST.2007.24 db/conf/mss/msst2007.html#OldfieldATSVRR07