https://123dok.org/document/dzxlp04z-dynamic-voltage-scaling-energy-constrained-real-time-systems.html