A Radar Terminal Descent Sensor for the Mars Science Laboratory mission | IEEE Conference Publication | IEEE Xplore