Kostolny, J.; Kvassay, M.; Kovalik, S. Reliability Analysis of Noncoherent Systems by Logical Differential Calculus and Binary Decision Diagrams. Communications 2014, 16, 114-120.