An Architecture for Declarative Real-Time Scheduling on Linux