Reliable detection of faults in navigation systems | IEEE Conference Publication | IEEE Xplore