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