Performance Modeling for Packet Networks with Satellite Overflow Channels | IEEE Journals & Magazine | IEEE Xplore