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