Multicommodity Flow Modeling for the Data Transmission Scheduling Problem in Navigation Satellite Systems | TUP Journals & Magazine | IEEE Xplore