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