Mixed Integer Linear Programming for Ground Infrastructure and Inter-Satellite Link Design in Satellite Constellations | IEEE Journals & Magazine | IEEE Xplore