https://123dok.net/document/lq5ogd7z-versatile-efficient-mixed-criticality-scheduling-multi-core-processors.html