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