Ларин, В.П., Шелест, Д.К.: Формирование информационного обеспечения надежности бортовой аппаратуры на стадии проектирования. Информационно-управляющие системы(4), 93–97 (2012)