Multi-valued Decision Diagrams in Reliability Analysis of Consecutive k-out-of-(2k-1) Systems | IEEE Conference Publication | IEEE Xplore