A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems