Hard real time computing systems - Buttazzo Giorgio C (1997)