https://123dok.net/document/ozl0mo2z-formal-verification-of-real-time-systems-with-preemptive-scheduling.html