Gilles Muller Mireille Hue Nadine Peyrouze Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment. 491-508 1994 conf/edcc/1994 EDCC db/conf/edcc/edcc1994.html#MullerHP94 http://dx.doi.org/10.1007/3-540-58426-9_154