US9547086B2 - Selected Aspects of Advanced Receiver Autonomous Integrity Monitoring Application to Kalman Filter Based Navigation Filter