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