%0 Journal Article %A E. M. Vinarskii %A V. A. Zakharov %T On the modeling of sequential reactive systems by means of real time automata %J Modelirovanie i analiz informacionnyh sistem %D 2020 %P 396-411 %V 27 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a2/ %G ru %F MAIS_2020_27_4_a2