описывается логическое исчисление управляющих алгоритмов
Сб. трудов Международного симпозиума "Надежность и качество 2013"

Описывается инструментальный программный комплекс для модельного/дедуктивного/визуального контроля правильности управляющих алгоритмов реального времени
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №7 (38), 2012 г.С 59-66

Описано применение визуального подхода к верификации управляющих программ
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №1 (32), 2012 г.С 219-225

описана графическая верификация циклограмм управления космическими аппаратами
Тез. докл. 14-й международной конференции "Системный анализ, управление и навигация": Изд-во МАИ Евпатория, 2009.

описаны методы автоматизации проектирования и отладки бортовых управляющих алгоритмов
7-ая Международная конференция «Системный анализ и управление», г. Евпатория. Тезисы докладов

Описаны перспективы и планы развития системы ГРАФКОНТ
Сб.докладов международного симпозиума «Надежность и качество 2002», г. Пенза

описана проблема неодначности порождения схемы управляющего алгоритма и пути ее разрешения
Перспективные информационные технологии в научных исследованиях, проектировании и обучении. Сб.научн.трудов, посвященный 25-летию фак-та информатики. СГАУ Самара, 2001. С.175-179

Преставлен проект системы, предназначенной для атвоматизации проектирования управляющих алгоритмов для космических летательных аппаратов. Спроектирован проблемно-ориентированный язык, описываемый контекстно-свободной грамматикой. Проектировщик вводит в систему алгоритм на этом языке и получает временные диаграммы, блок-схемы, в перспективе - программу в кодах бортовой ЭВМ. Система имеет удобный оконный интерфейс с пользователем, способна работать на ЭВМ типа IBM PC/XT
Тезисы докладов XX Самарской областной студенческой научной конференции. СГАУ - Самара, 1994. С.108

описывается проблема неоднозначности при построении логико-временной структуры управляющего алгоритма по многовходовой модели
Труды международной школы-семинара БИКАМП-01. 25-29 июня 2001 г.- СПб: Изд-во Санкт-Петербургского университета аэрокосмического приборостроения. С. 179-180 ISBN 5-7183-0134-5

показана сложная сущность управляющего алгоритма реального времени с проекциями во временном и логическом пространстве
Управление движением и навигация летательных аппаратов: сб.тр. IX Всерос. научн.-техн.семинара по управлению движением и навигации летательных аппаратов: Ч2 / Самарский филиал Российской академии космонавтики. Самара, 2000. С.162-165