Gluhih, M.: Formalization of fault-tolerant system presentation when designing system structure. Information and Control Systems(3), 27-35 (2005)