An optimal checkpointing interval for real-time systems
H. Karl, M. Werner, in: Proc. Intl. Conf. Parallel and Distributed Processing Techniques and Applications, 1998, pp. 604--612.