Recursive formulas for the reliability of multi-state consecutive-k-out-of-n:G systems | IEEE Journals & Magazine | IEEE Xplore