Рассматривается надежность систем критического применения и предлагается методология ее повышения посредством нового вида независимой верификации - семантического контроля.

Авіаційно-космічна техніка і технологія [Текст] : зб. наук. праць. — Х. : Нац. аєрокосмічний ун-т "ХАІ"; Миколаїв: Вид-во МФ НаУКМА, 2002. — 310 с.

• Праці співробітників ХАІ // Манжос Ю.С./Manzhos Y.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ