An O(kn) algorithm for a circular consecutive-k-out-of-n:F system | IEEE Journals & Magazine | IEEE Xplore