Kalman filter mechanization for INS airstart | IEEE Conference Publication | IEEE Xplore