Глухих, М.И.: Формализация представления отказоустойчивых систем при проектировании структуры системы. Информационно-управляющие системы(3), 27-35 (2005)