Renamed timedautomaton to timed_automaton.
Replaced clockname with clock_name.
Replaced lastreset with last_reset.
Replaced clockreset with clock_reset.
Replaced nextlocation with next_location.
Replaced locationindex with location_index.