Automaton.ltc