https://123dok.org/document/oz1w5kvy-multiprocessor-scheduling-for-real-time-systems-errata.html