Performance Prediction and Verification for the Synchronization Link of TanDEM-X | IEEE Conference Publication | IEEE Xplore