Largely reduced and simplified the Additional Materials section about the Timed Automata model