Efficient hardware checkpointing: concepts, overhead analysis, and implementation. - Koch, Dirk; Haubelt, Christian; Teich, Jürgen (2007)