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