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 (November 6, 2020): 57–68. Accessed April 28, 2024. http://ric.zntu.edu.ua/article/view/214805.