Synthetic aperture radar for an autonomous cryobot for subsurface exploration of Europa | IEEE Conference Publication | IEEE Xplore