Kostolny, Jozef, Miroslav Kvassay, and Stefan Kovalik. “Reliability Analysis of Noncoherent Systems by Logical Differential Calculus and Binary Decision Diagrams”. Communications - Scientific letters of the University of Zilina 16, no. 1 (February 28, 2014): 114-120. Accessed April 6, 2026. http://journals.uniza.sk/index.php/communications/article/view/496.