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