KOSTOLNY, J.; KVASSAY, M.; KOVALIK, S. Reliability Analysis of Noncoherent Systems by Logical Differential Calculus and Binary Decision Diagrams. Communications - Scientific letters of the University of Zilina, v. 16, n. 1, p. 114-120, 28 Feb. 2014.