Challenges for integrity in navigation of high precision