https://123dok.net/document/9ynr1w1q-real-time-scheduling-of-periodic-tasks-in-a-monoprocessor-system-with-a-rechargeable-battery.html