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