Technical Reports

From Scenarios to Timed Automata

Optimal Clock Allocation for a Class of Timed Automata

Clock Allocation in Timed Automata and Graph Colouring