Korotunov, S. U.; Tabunshchyk, G. V. ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS. RIC 2020, 57-68.