Corrigendum to “Power-aware scheduling algorithms for sporadic tasks in real-time systems” [J. Syst. Softw. 86 (2013) 2611–2619]