Recursive estimation of three-dimensional aircraft position using terrain-aided positioning | IEEE Conference Publication | IEEE Xplore