Hard real-time computing systems : predictable scheduling algorithms and applications. - Buttazzo, Giorgio (Dordrecht : Kluwer Academic Publishers, 2000)