Feedback-Based Energy Management in a Standby-Sparing Scheme for Hard Real-Time Systems | IEEE Conference Publication | IEEE Xplore