https://123dok.net/document/yr35l58y-reach-scheduling-for-embedded-systems.html