@inproceedings{1012,
  author       = {{Karl, Holger and Werner, Matthias}},
  booktitle    = {{Proc. Intl. Conf. Parallel and Distributed Processing Techniques and Applications}},
  pages        = {{604----612}},
  title        = {{{An optimal checkpointing interval for real-time systems}}},
  year         = {{1998}},
}