Controlled Timed Automata. - François Demichelis; Wieslaw Zielonka (CONCUR, 1998)