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 January 15, 2025. https://ric.zp.edu.ua/article/view/214805.