Discrete-time battery models for system-level low-power design | Synapse