EP2012138B1 - Method and System for Checking the Integrity of the Measurements in a Navigation System