Neil C. Audsley

• Flexible scheduling of hard real-time systems