Б. Волочій, Л. Озірковський, А. Мащак, О. Шкілюк, and І. Кулик, “Computation method оf minimal cut sets for fault-tolerant systems based оn structural-automatic model”, RADAP, no. 52, pp. 38-45, Apr. 2013.