Применение автоматизированной технологии верификации и тестирования на основе формальных спецификаций в разработке телекоммуникационных систем // Материалы...24 - 29 ноября 2003г. – 2004. – Факультет технической кибернетики. Факультет при ЦНИИ РТК. Институт интеллектуальных систем и технологий