Technology For Real-Time Systems by Juha Kuusela, Jurgen Ziegler & Maher Awad