https://titanssword.github.io/posts/real_time_scheduling_intro/