An O(k/sup 3/spl middot/log(n/k)) algorithm for the consecutive-k-out-of-n:F system | IEEE Journals & Magazine | IEEE Xplore