Automata for real-time systems