S. U. Korotunov and G. V. Tabunshchyk, “ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS”, RIC, no. 3, pp. 57–68, Nov. 2020.