Design of a navigation filter by analysis of local observability | IEEE Conference Publication | IEEE Xplore