https://5dok.org/document/zx5017rv-analysis-task-scheduling-for-multi-core-embedded-systems.html