https://123dok.net/document/zlgm3roy-multicore-smt-scheduling-of-periodic-task-systems-with-energy-minimization.html