https://123dok.net/document/zpnk24rv-semi-partitioned-scheduling-restricted-migrations-identical-multiprocessor-platforms.html