Antonio Cunei Jan Vitek A new approach to real-time checkpointing. 68-77 2006 conf/vee/2006 VEE http://doi.acm.org/10.1145/1134760.1134771 db/conf/vee/vee2006.html#CuneiV06