On computing MTBF for a k-out-of-n:G repairable system | IEEE Journals & Magazine | IEEE Xplore