Токарев Виктор Иванович. Модели и метод обеспечения надежности информационно-управляющих систем АЭС с использованием многоверсионных технологий : Дис... канд. техн. наук: 05.13.06 / Национальный аэрокосмический ун-т им. М.Е.Жуковского "Харьковский авиационный ин-т". — Х., 2004. — 233л. : рис. — Библиогр.: л. 217-228.