Levin, V. I. Logical Methods of System Reliability Analysis. TKEA 2010, 32-39.