https://123dok.net/document/q2ngwk2q-quantifying-the-sub-optimality-of-uniprocessor-fixed-priority-non-pre-emptive-scheduling.html