Korotunov SU, Tabunshchyk GV. ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS. RIC [Internet]. 2020Nov.6 [cited 2024Apr.27];(3):57-68. Available from: http://ric.zntu.edu.ua/article/view/214805