Institute of Radio Engineers. Professional Group on Aerospace and Navigational Electronics