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