MDD-based performability analysis of multi-state linear consecutive-k-out-of-n: F systems. (October 2017)