Precision aided inertial navigation using SAR and digital map data | IEEE Conference Publication | IEEE Xplore