Технические наукиBinary Decision Diagrams and Extensions for System Reliability AnalysisLiudong Xing, Suprasad V. Amari