A Dynamic Battery Model for Co-design in Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore