IEEE transactions on aerospace and navigational electronics