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