Evgeniy Maximovich VinarskiiRussia, MoscowResearch areaprogram verificationprogramming languagesautomata theoryAffiliation & position Lomonosov Moscow State University — undergraduate student E-mailvinevg2015@gmail.com List of Articles in System Informatics: E. Vinarskii V. Zakharov On some properties of timed finite state machines // System Informatics. — 2020. — # 17. — P. 11-20