https://9lib.co/document/qvl91v41-pfair-scheduling-of-generalized-pinwheel-task-systems.html