Automata programming as a sort of synchronous programming