An analytical high-level battery model for use in energy management of portable electronic systems | IEEE Conference Publication | IEEE Xplore