Харченко, В. С.     Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів [Текст] / В.С. Харченко, М.В. Замирець, С.О. Засуха, Ю.Л. Поночовний // Авиационно-космическая техника и технология : Научно-технический журнал // Авиационно-космическая техника и технология - Харьков. — С. 81-94.