Optimal Choice of Checkpointing Interval for High Availability. - Diana Szentiványi; Simin Nadjm-Tehrani; John M. Noble (PRDC, 2005)