Protection Levels after Fault Exclusion for Advanced RAIM. Issue 4 (6th December 2017)