О. СМІРНОВ, О. КЛЕЙН, О. ГЛУХЕНЬКИЙ, Л. ЛУТЮК, і Б. СЕМЕНЮК, «ВИЯВЛЕННЯ ВРАЗЛИВОСТЕЙ В ПРОГРАМНИХ МОДЕЛЯХ АПАРАТНИХ ЗАСОБІВ», ВИМІРЮВАЛЬНА ТА ОБЧИСЛЮВАЛЬНА ТЕХНІКА В ТЕХНОЛОГІЧНИХ ПРОЦЕСАХ, вип. 2, с. 277–285, Чер 2024.