Ануреев, И.С., Баранов, С.Н., Белоглазов, Д.М., Дробинцев, П.Д., Колчин, А.В., Котляров, В.П., Летичевский, А.А., Летичевский, А.А., Непомнящий, В.А., Никифоров, И.В., Потиенко, С.В., Прийма, Л.В., Тютин, Б.В. и Бодин, Е.М. 2013. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений. Труды СПИИРАН. 3, 26 (июн. 2013), 349-383. DOI:https://doi.org/10.15622/sp.26.22.