Compensation for source heave by use of a Kalman filter | IEEE Journals & Magazine | IEEE Xplore