Distributed snapshots in spite of failures - Shah, Amitabh; Toueg, Sam (1985)