selected publications academic article Integrity Support Message Architecture Design for Advanced Receiver Autonomous Integrity Monitoring. . 2013 conference paper LDACS APNT Architecture Development & Evolution. . 2023