Qingqing Zhai, Liudong Xing, Rui Peng, Jun Yang. Multi-Valued Decision Diagram-Based Reliability Analysis of k-out-of-n Cold Standby Systems Subject to Scheduled Backups. IEEE Transactions on Reliability, 64(4):1310-1324, 2015. [doi]
Abstract is missing.