M. Gluhih, “Formalization of fault-tolerant system presentation when designing system structure”, ICS, no. 3, pp. 27-35, Jun. 2005.