Receiver Autonomous Integrity Monitoring Algorithm Research Articles