Korotunov, S.U. and Tabunshchyk, G.V. 2020. ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS. Radio Electronics, Computer Science, Control. 3 (Nov. 2020), 57–68. DOI:https://doi.org/10.15588/1607-3274-2020-3-5.