Timed_automaton loading ...