Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata