Documented parse_timed_automaton.ml .