Predictable Real-Time Scheduling for Air Traffic Control