Checkpointing and rollback recovery for distributed systems - Koo, Richard; Toueg, Sam (1985)