Технология ГРАФКОНТ/ГЕОЗ автоматизации процессов проектирования и верификации управляющего программного обеспечения для космических аппаратов
Калентьев А.А,, Тюгашев А.А., "Тезисы докладов II Всероссийской научно-технической конференции.-М.:МОКБ ""Марс"", 2012 - с.147-148 ISBN 978-5-9903829-1-6".
Средства визуализации программ интегрального управления космическими аппаратами
Калентьев А.А., Тюгашев А.А., Сб.тезисов 15-й Междунардной научной конференции "Системный анализ, управление и навигация". Евпатория, 2010.
Автоматизация проектирования и отладки бортовых управляющих алгоритмов CASE-средствами
Калентьев А.А., Тюгашев А.А., 7-ая Международная конференция «Системный анализ и управление», г. Евпатория. Тезисы докладов.
Проблема переполнения при кодировании векторов логики в системе ГРАФКОНТ
А,А, Тюгашев, А.А. Калентьев, Я.А. Мостовой, Надежность и качество. Инновационные технологии производству XXI века / Книга докладов Международн. симпозиума, посвящ. 275-летию РАН.-Под ред. А.Н. Андреева, А.В.....
Визуальная CASE-среда проектирования и разработки управляющих алгоритмов реального времени для космических аппаратов
А.А. Тюгашев, Тезисы докладов Международной молодежной школы-семинара БИКАМП-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..
