Title: Time-constrained reactive automata
Subjects: Machine theory, Embedded computer systems, Real-time control