Засуха Сергій Олексійович. Моделі та інформаційна технологія забезпечення готовності інформаційно-управляючих систем космічних апаратів з оперативною верифікацією і оновленням програмних засобів.- Дисертація канд. техн. наук: 05.13.06, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2013.- 200 с. : рис., табл.