М. Ільїн, І. Стьопочкіна, і О. Новіков, «МЕТОДИ ФОРМАЛЬНОЇ ВЕРИФІКАЦІЇ ВИПРАВЛЕНЬ БІНАРНИХ ВРАЗЛИВОСТЕЙ СИСТЕМ КРИТИЧНОЇ ІНФРАСТРУКТУРИ», Кібербезпека: освіта, наука, техніка, вип. 3, вип. 35, с. 147–157, Жов 2026.