Глухих, М. И. Формализация представления отказоустойчивых систем при проектировании структуры системы. ИУС 2005, 27-35.