Comparative Analysis of Different Models of Checkpointing and Recovery. - Victor F. Nicola; Johannes M. Van Spanje (IEEE Trans. Software Eng., 1990)