Optimal Checkpoint Selection with Dual-Modular Redundancy Hardening | IEEE Journals & Magazine | IEEE Xplore