Описывается технология ГРАФКОНТ/ГЕОЗ созданная в СГАУ по заказу ЦСКБ для автоматизации процессов создания управляющих бортовых программ
"Тезисы докладов II Всероссийской научно-технической конференции.-М.:МОКБ ""Марс"", 2012 - с.147-148 ISBN 978-5-9903829-1-6"

описаны инструментальные средства визуализации программ интегрального управления космическими аппаратами
Сб.тезисов 15-й Междунардной научной конференции "Системный анализ, управление и навигация". Евпатория, 2010

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

Описана проблема переполнения при кодировании логических векторов в системе ГРАФКОНТ, приводятся методы ее решения
Надежность и качество. Инновационные технологии производству XXI века / Книга докладов Международн. симпозиума, посвящ. 275-летию РАН.-Под ред. А.Н. Андреева, А.В. Блинова, Н.К. Юркова.-Пенза, 1999. С.185

This report is devoted to problems of computer-aided design and development of special kind of algorithms and programs - real-time embedded software for spacecrafts. Basic principles of CASE-methodology are given in the paper as well as an explanation of GRAFKONT integrated CASE computer environment created in SSAU.
Тезисы докладов Международной молодежной школы-семинара БИКАМП-99 24-29 мая 1999 г. C.151

описана методология проектирования надежных и качественных алгоритмов управления реального времени
Надежность и качество: Труды международного симпозиума: в 2-х ч. Ч1/ Под ред. Н.К. Юркова.- Пенза:Изд-во Пенз.гос.ун-та, 2004 С.249 ISBN 5-94170-031-8

описана методология проектирования качественных и надежных управляющих программ реального времени для БВС КА
Надежность и качество. Труды международного симпозиума / Под ред. Н.К. Юркова.-Пенза: Изд-во Пенз. гос. уни-та, 2003 С. 198-201 ISBN 5-94170-031-8

В статье представлены алгебраические модели и программные средства алгоритмов управления реального времени
Цифровые модели в проектировании и производстве РЭС: Межвуз. сб. научн.тр.-Пенза: Изд-во Пенз.гос. техн. ун-та, 1996 - Вып.8. С.30-35

Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов.
Мехатроника, автоматизация, управление. 2007. № 7. С. 46-51.

Автореферат содержит описание диссертации - математических моделей, методов, алгоритмов и инструментальных программных средств автоматизации проектирования управляющих алгоритмов реального времени для космических аппаратов