“…Depending on the parametrization of the underlying model, many different implementations of these test-statistics exist [ 7 , 8 , 9 , 10 , 11 ]. Next to aviation, RAIM-testing finds its application also in a broad range of other applications (see, e.g., [ 12 , 13 , 14 , 15 , 16 , 17 , 18 , 19 ]).…”