Inkrementelles Checkpointing In Blcr by Florian Klein