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