Selection of a checkpoint interval in a critical-task environment | IEEE Journals & Magazine | IEEE Xplore