Automated Design of Navigation Receivers