Gnss-Based Receiver Autonomous Integrity Monitoring For Aircraft Navigation