Design of an interferometric displacement sensor with picometer resolution for the Galileo-Galilei mission | IEEE Conference Publication | IEEE Xplore