Modeling a shared-load k-out-of-n:G system | IEEE Journals & Magazine | IEEE Xplore