Real-Time Systems - Kopetz, Hermann (Springer US, 2011)