И. С. Ануреев, Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений, ТС, т. 3, вып. 26, сс. 349-383, июн. 2013.