Checkpointing algorithms and fault prediction
Introduction to probability models