Energy minimization for real-time systems with (m,k)-guarantee | IEEE Journals & Magazine | IEEE Xplore