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