V. I. Levin, “Logical methods of system reliability analysis”, TKEA, no. 4, pp. 32-39, Aug. 2010.