SEARCH Articles Figures Tables Automata Scheduling Based on Reachability Analysis of Timed Automata Scheduling with Timed Automata