Time-constrained reactive automata | lit.salon