Ануреев, Игорь Сергеевич, Сергей Николаевич Баранов, Дмитрий Михайлович Белоглазов, Павел Дмитриевич Дробинцев, Александр Валентинович Колчин, Всеволод Павлович Котляров, Александр Адольфович Летичевский, Александр Александрович Летичевский, Валерий Александрович Непомнящий, Игорь Валерьевич Никифоров, Степан Валериевич Потиенко, Лев Викторович Прийма, Борис Викторович Тютин, и Евгений Михайлович Бодин. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений. Труды СПИИРАН 3, no. 26 (июнь 1, 2013): 349-383. просмотрено ноябрь 21, 2024. https://ia.spcras.ru/index.php/sp/article/view/1709.