Hard real-time computing systems : predictable scheduling algorithms and applications - Buttazzo, Giorgio C., 1960- (Real-time systems series, 2011)