Automata Programming as a Sort of Synchronous Programming - L. A. Naumov; A. A. Shalyto (Proceedings of East-West Design & Test Conference (EWDTC 2003), 2003)