Optimal Checkpointing of Real-Time Tasks | IEEE Journals & Magazine | IEEE Xplore