Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems