Hardware-in-the-loop testing of the NATO standardisation agreement 4572 interface using high precision navigation equations | IEEE Conference Publication | IEEE Xplore