Efficient algorithms for k-out-of-n and consecutive-weighted-k-out-of-n:F system | IEEE Journals & Magazine | IEEE Xplore