Hard real-time computing systems predictable scheduling algorithms and applications - Buttazzo, Giorgio C. 1960- (Kluwer international series in engineering and computer science. Real-time systems., 2005)