Gluhih, M. Formalization of Fault-Tolerant System Presentation When Designing System Structure. ICS 2005, 27-35.