selected publications academic article Integrity Support Message Architecture Design for Advanced Receiver Autonomous Integrity Monitoring. . 2013