Binary decision diagrams and extensions for system reliability analysis - Xing, Liudong; Amari, Suprasad V. (Performability engineering series., 2015)