Battery-aware power management based on Markovian decision processes | IEEE Journals & Magazine | IEEE Xplore