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), pp. 57–68. doi: 10.15588/1607-3274-2020-3-5.