A compact projection system enabling topographical measurements for a miniaturized submersible explorer | IEEE Conference Publication | IEEE Xplore