Expressivity of Timed Automata models door B. Gebremichael