https://1library.org/document/qo5xv265-hard-real-time-scheduling-the-deadlin-monotonic-approach.html