On checkpointing and heavy-tails in unreliable computing environments. - Craig Bossie; Pierre M. Fiorini (SIGMETRICS Perform. Evaluation Rev., 2006)