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