Leonardo Fialho Dolores Rexachs Emilio Luque What is Missing in Current Checkpoint Interval Models? 322-332 2011 ICDCS http://dx.doi.org/10.1109/ICDCS.2011.12 conf/icdcs/2011 db/conf/icdcs/icdcs2011.html#FialhoRL11