Hard Real-Time Computing Systems - Buttazzo, Giorgio C. (Springer US, 2011)