LEVIN, V. I. Logical methods of system reliability analysis. Technology and design in electronic equipment, n. 4, p. 32-39, 24 Aug. 2010.