Static Analysis for Worst-Case Battery Utilization | IEEE Conference Publication | IEEE Xplore