Ільїн, Микола, Ірина Стьопочкіна, і Олексій Новіков. «МЕТОДИ ФОРМАЛЬНОЇ ВЕРИФІКАЦІЇ ВИПРАВЛЕНЬ БІНАРНИХ ВРАЗЛИВОСТЕЙ СИСТЕМ КРИТИЧНОЇ ІНФРАСТРУКТУРИ». Електронне фахове наукове видання «Кібербезпека: освіта, наука, техніка» 3, no. 35 (Жовтень 26, 2026): 147–157. дата звернення Жовтень 27, 2026. https://csecurity.kubg.edu.ua/index.php/journal/article/view/1347.