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

анализируются проблемы с разаработкой ПО в космической отрасли
Сб. труд. XXXVI Академических чтений по космонавтике. Москва, январь 2012 г. / Под общей редакцией А.К. Медведевой. М.: Комиссия РАН по разработке научного наследия пионеров освоения космического пространства, 2012. С. 468

доклад
сб. [науч.] тр. X Всерос. науч. -техн. семинара по упр. движением и навигации летательных аппаратов (Самара, 26-27 июня 2001г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева, Гос. науч. -произв. ракет.-косм. центр "ЦСКБ - Прогресс" и др. - Самара, 2002. - С. 156-159 . - ISBN 5-93424-060-9

анализ потребностей бортовой аппаратуры космического аппарата зондирования
Сборник научно-технических статей по ракетно-космической тематике / Гос. науч.-произв. ракет.-косм. центр "ЦСКБ-Прогресс". - Самара, 2001. - С. 168-170

модель управляющего алгоритма реального времени
Сборник научно-технических статей по ракетно-космической тематике / Гос. науч.-произв. ракет.-косм. центр "ЦСКБ-Прогресс". - Самара, 2001. - С. 162-165

Статья посвящена вопросам использования графических языков программирования в жизненном цикле бортового программного обеспечения космических аппаратов. Проведен обзор вариантов применения визуального программирования с использованием графических языков, на стадиях спецификации, проектирования, написания и отладки программ. Подчеркнуто, что главной причиной использования графических средств при создании бортового программного обеспечения космических аппаратов является возможность достижения лучшего взаимопонимания в коллективе специалистов по бортовым системам, алгоритмистов, программистов, что позволяет создавать более надежные и качественные программные системы
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). 2010. № 2. С. 248-259.

Описывается основанная на логико-алгебраическом подходе математическая модель для представления управляющих алгоритмов и программ реального времени, предназначенных для координации работы бортовой аппаратуры космических аппаратов. Предлагается модель семантики управляющего алгоритма реального времени. Приводится формальная теория (исчисление) управляющих алгоритмов. Рассмотрены примеры описания параллельных управляющих алгоритмов с помощью основанной на предлагаемой модели инструментальной графической программной системы
Вестник Самарского государственного технического университета. Серия: Физико-математические науки. 2005. № 38. С. 19-25.

Описание
Известия Российской академии наук. Теория и системы управления. 2006. № 2. С. 128-141.

для бортовых алгоритмов
Известия Самарского научного центра российской академии наук 2005, том 7, № 1, С.124-130

Математические модели, методы и алгоритмы, программные средства автоматизации проектирования, синтеза и верификации управляющих алгоритмов реального времени для космических аппаратов
ВАК РФ