Abstract model-based checkpoint and recovery [abstract] - Pintér Gergely (Conference of PhD Students in Computer Science, 2004)