Статья ФОРМИРОВАНИЕ ИЗБЫТОЧНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ОТКАЗОУСТОЙЧИВЫХ СИСТЕМ УПРАВЛЕНИЯ Ковалев И. В., Завьялова О. И., Лайков А. Н.