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