Controlled Timed Automata.

Franois Demichelis, Wieslaw Zielonka

Browse the full CONCUR paper archive.