Theoretical Results on the Optimal Detection Statistics for Autonomous Integrity Monitoring. Issue 1 (March 2017)