Korotunov, S. U., and G. V. Tabunshchyk. “ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS”. Radio Electronics, Computer Science, Control, no. 3, Nov. 2020, pp. 57-68, doi:10.15588/1607-3274-2020-3-5.