Zhenwu Shi: A Scheduling Model of Battery-powered Embedded System. CoRR abs/1504.06663 (2015)