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