For citations:
Vinarskii E.M., Zakharov V.A. On the Modeling of Sequential Reactive Systems by Means of Real Time Automata. Modeling and Analysis of Information Systems. 2020;27(4):396-411. (In Russ.) https://doi.org/10.18255/1818-1015-2020-4-396-411