Linwei Niu: Energy efficient scheduling for hard real-time systems with fixed-priority assignment. IPCCC 2010: 153-160