Design of Optimal Satellite Constellation for Indonesian Regional Navigation System based on GEO and GSO Satellites | IEEE Conference Publication | IEEE Xplore