Operational precise baseline determination for TanDEM-X DEM processing | IEEE Conference Publication | IEEE Xplore