Synchronizing Redundant Cores in a Dynamic DMR Multicore Architecture | IEEE Journals & Magazine | IEEE Xplore