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