" Binary decision diagrams and extensions for system reliability analysis / " Liudong Xing, Suprasad V. Amari