Expressivity of Timed Automata models by B. Gebremichael