IVASIUK, O.; KHARCHENKO, V. Використання методу верифікації fmeda/fit для оцінювання кібербезпеки програмовного логічного контролера. Системи управління, навігації та зв’язку. Збірник наукових праць, v. 4, n. 74, p. 114-119, 12 dez. 2023.