Гаранина Н.О., Сидорова Е.А. Метод верификации семейства мультиагентных систем разрешения неоднозначности // № 8, 2016
Гаранина Н.О., Зюбин В.Е., Лях Т.В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации распределенных программных систем // № 9, 2017
