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