Automata for real-time interface