IEEE TRANSACTIONS ON AEROSPACE AND NAVIGATIONAL ELECTRONICS