Title: Temporal automata
Subjects: Temporal automata