описано исчисление управляющих алгоритмов реального времени
Материалы XI Международной научно-технической конференции "Авиа-2013", г. Киев, Том 1, С637-640

приводится семантическая модель управляющих алгоритмов реального времени
Надежность и качество - 2011: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2011 - 1т. С.90-93 ISSN 2220-6418

Описан подход к построению оптимизирующих преобразований спецификации управляющих алгоритмов реального времени
Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов: Часть I / Самар. гос. аэрокосм. ун-т. Самара, 2012 С 69-72

Предлагается подход к решению проблемы спецификации управляющих алгоритмов реального времени, основанный на специально построенной формальной теории. Рассматривается возможность автоматизации синтаксической редукции спецификации управляющих алгоритмов
Вестник СГАУ, №2 (26) 2011, с.269-275

описан программный модуль графического редактора временных диаграмм САПР управляющих алгоритмов реального времени
Актуальные проблемы анализа и обеспечения надежности и качества приборов, устройств и систем / книга докладов научн.конференции.-Пенза: Изд-во Пензенского гос.техн.ун-та, 1998 С.157

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

доклад
Управление движением и навигация летательных аппаратов: Сб. тр. VII Всероссийского научно-техн. семинара по управлению движением и навигации летательных аппаратов Ч.2 / СГАУ, Самара, 1996 С.53 ISBN 5-7217-0021-1

описано исчисление управляющих алгоритмов
Всероссийская научная школа“Компьютерная алгебра, логика и интеллектное управление. Проблемы анализа стратегической стабильности”:Сб.трудов. Ч4.-Иркутск, ИрВЦ СО РАН, 1994

описываются методы оптимизирующих преобразований логико-временной схемы управляющих алгоритмов реального времени
Труды международного симпозиума "Надежность и качество". 2007. Т. 1. С. 117-118. ISSN 2220-6418

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