Design of a forward looking synthetic aperture radar for an autonomous cryobot for subsurface exploration of Europa | IEEE Conference Publication | IEEE Xplore