Reliability of checkpointed real-time systems using time redundancy | IEEE Journals & Magazine | IEEE Xplore