Cache satellite distribution systems: modeling, analysis, and efficient operation | IEEE Journals & Magazine | IEEE Xplore