Kostolny, J., M. Kvassay, and S. Kovalik. “Reliability Analysis of Noncoherent Systems by Logical Differential Calculus and Binary Decision Diagrams”. Communications - Scientific Letters of the University of Zilina, Vol. 16, no. 1, Feb. 2014, pp. 114-20, http://journals.uniza.sk/index.php/communications/article/view/496.