The efficiency of computing the reliability of k-out-of-n systems | IEEE Journals & Magazine | IEEE Xplore