Element 'Temporal automata.'