Long-term Stability Analysis of Vertical Channel Damping and Kalman Filtering for Inertial Navigation System/Vertical Gauge | IEEE Conference Publication | IEEE Xplore