Computing k-out-of-n System Reliability | IEEE Journals & Magazine | IEEE Xplore