Two-Phase Low-Energy N-Modular Redundancy for Hard Real-Time Multi-Core Systems | IEEE Journals & Magazine | IEEE Xplore