Ivasiuk, O. і Kharchenko, V. (2023) Використання методу верифікації fmeda/fit для оцінювання кібербезпеки програмовного логічного контролера, Системи управління, навігації та зв’язку. Збірник наукових праць. Полтава: ПНТУ, 4(74), с. 114-119. doi: https://doi.org/10.26906/SUNZ.2023.4.114.