Title: The theory of timed I/O automata
Subjects: Temporal automata