M. Fox, D. Long, and D. Magazzeni, “Automatic Construction of Efficient Multiple Battery Usage Policies”, ICAPS, vol. 21, no. 1, pp. 74-81, Mar. 2011.