Ivasiuk, Oleksandr, і Vyacheslav Kharchenko. Використання методу верифікації Fmeda/Fit для оцінювання кібербезпеки програмовного логічного контролера. Системи управління, навігації та зв’язку. Збірник наукових праць 4, no. 74 (Грудень 12, 2023): 114-119. дата звернення Липень 3, 2024. https://journals.nupp.edu.ua/sunz/article/view/3166.