Recovery Device for Real-Time Dual-Redundant Computer Systems | IEEE Journals & Magazine | IEEE Xplore