MOROZ, O. Тechnology of semantic-numerical verification of time-parameterized parallel programs for information and control systems. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems», v. 55, p. 32-37, 31 Oct. 2022.