Specifying Urgency in Timed I/O Automata.

Biniam Gebremichael, Frits W. Vaandrager

Browse the full SEFM paper archive.