An explicit solution for the number of minimal p-cutsequences in a consecutive-k-out of-n:F system | IEEE Journals & Magazine | IEEE Xplore