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