Energy-efficient duplex and TMR real-time systemsElmootazbellah Mootaz ElnozahyRami Melhemet al.2002RTSS 2002