The IFR property for consecutive-k-out-of-n:F systems - Cui, L. (2014)
10.1016/S0167-7152(02)00240-7