Timed Automata with Asynchronous Processes: Schedulability and Decidability.

Elena Fersman, Paul Pettersson, Wang Yi

Browse the full TACAS paper archive.