АНУРЕЕВ, И. С.; БАРАНОВ, С. Н.; БЕЛОГЛАЗОВ, Д. М.; ДРОБИНЦЕВ, П. Д.; КОЛЧИН, А. В.; КОТЛЯРОВ, В. П.; ЛЕТИЧЕВСКИЙ, А. А.; ЛЕТИЧЕВСКИЙ, А. А.; НЕПОМНЯЩИЙ, В. А.; НИКИФОРОВ, И. В.; ПОТИЕНКО, С. В.; ПРИЙМА, Л. В.; ТЮТИН, Б. В.; БОДИН, Е. М. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений. Труды СПИИРАН, v. 3, n. 26, p. 349-383, 1 jun. 2013.