Coverage optimization of satellite formations using Instantaneous overlap area | IEEE Conference Publication | IEEE Xplore