Jiang, Y. T., Wang, Y. K., Song, X. Y., & Savaria, Y. (2004). Computation of Signal Output Probability for Boolean Functions Represented by Obdd. Computers & Mathematics With Applications, 47(12), 1865-1874. External link