A Mixed Integer Linear Programming Model for Resolution of the Antenna-Satellite Scheduling Problem. - Lorena Linares; Rafael Vázquez; Federico Perea; Jorge Galán-Vioque (IEEE Trans. Aerosp. Electron. Syst., 2024)