技術資料〕ARAIM (Advanced Receiver Autonomous Integrity Monitoring)のインテグリティ理論と故障衛星排除アルゴリズム - 麻生, 貴広 (電子航法研究所報告, 2020)