A satellite system synthesis model for orbital arc allotment optimization | IEEE Journals & Magazine | IEEE Xplore