Receiver Autonomous Integrity Monitoring Availability Research Articles