Kostolny, J., Kvassay, M. and Kovalik, S. 2014. Reliability Analysis of Noncoherent Systems by Logical Differential Calculus and Binary Decision Diagrams. Communications - Scientific letters of the University of Zilina. 16, 1 (Feb. 2014), 114-120.