Decision Diagrams for Reliability Analysis of Multi-State System | IEEE Conference Publication | IEEE Xplore