Energy efficient scheduling for hard real-time systems with fixed-priority assignment | IEEE Conference Publication | IEEE Xplore