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