SEARCH Articles Figures Tables Automata Automaton, timed Reachability analysis Scheduler automaton Time schedule Time scheduling Timed reachability analysi Timed scheduling