An O(nr/sup k/) algorithm for computing the reliability of consecutive k-out-of-r-from-n:F system | IEEE Conference Publication | IEEE Xplore