Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata.

Pavel Krcl, Wang Yi

Browse the full TACAS paper archive.