A preliminary designation of constellation distribution for Mars GNSS | IEEE Conference Publication | IEEE Xplore