Expressivity of Timed Automata Models
Biniam Gebremichael