Fox, M.; Long, D.; Magazzeni, D. Automatic Construction of Efficient Multiple Battery Usage Policies. ICAPS 2011, 21, 74-81.