Title: Modellierung und Verifikation eines Checkpoint-Restart-Verfahrens