Integer Ambiguity Estimation and Validation in Attitude Determination Environments