Hard Real-Time Computing Systems by Giorgio C. Buttazzo