Battery modeling for energy-aware system design | Synapse