1. Нагибин Д.В., Петренко А.С., Давыденко В.С., Котенко И.В., Федорченко Е.В. Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах // Информатика и автоматизация. 2025. № 2 (24). C. 526-555.