Two formulas for computing the reliability of incomplete k-out-of-n:G systems | IEEE Journals & Magazine | IEEE Xplore