Combined time and information redundancy for SEU-tolerance in energy-efficient real-time systems | IEEE Journals & Magazine | IEEE Xplore