Theory and Algorithms of RAIM Augmentation for GNSS - SAKAI, Takeyasu (Electronic Navigation Research Institute papers, 2022)