J. Kostolny, M. Kvassay, and S. Kovalik, “Reliability Analysis of Noncoherent Systems by Logical Differential Calculus and Binary Decision Diagrams”, Communications, vol. 16, no. 1, pp. 114-120, Feb. 2014.