СИНТЕЗ ЛОГИКО-ФУНКЦИОНАЛЬНОЙ СИСТЕМЫ УПРАВЛЕНИЯ ЛЕТАЮЩИМ РОБОТОМ Статья Атиенсия Вильягомес Х.М., Дивеев А.И., Софронова Е.А. Труды Международного симпозиума Надежность и качество. Пензенский государственный университет. Том 1. 2012. С. 458-460
СИНТЕЗ ЛОГИКО-ФУНКЦИОНАЛЬНОГО УПРАВЛЕНИЯ МЕТОДОМ СЕТЕВОГО ОПЕРАТОРА Статья Атиенсия Вильягомес Х.М., Дивеев А.И. ИНЖЕНЕРНЫЕ СИСТЕМЫ - 2012. Российский университет дружбы народов (РУДН). 2012. С. 178-183