Energy management of standby-sparing systems for fixed-priority real-time workloads | IEEE Conference Publication | IEEE Xplore