Simulation and design of ground-penetrating radar for Mars exploration | IEEE Conference Publication | IEEE Xplore