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