Reliability evaluation of dependable distributed computing systems based on recursive merge and BDD - Yung-Ruei Chang; Hung-Yau Lin; Sy-Yen Kuo (10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings., Dependable Computing, 2004. Proceedings. 10th IEEE Pacific Rim International Symposium on, Dependable computing, 2004)