А. В. Гаращенко, Д. С. Лашина, С. А. Никитин, А. В. Николаев, Е. А. Прокопьев, Ф. М. Путря, Б. Н. Цыренжапов, “Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле”, Труды ИСП РАН, 34:5 (2022), 23–42
