Real-Time Systems by Albert M.K. Cheng