Post-processing GNSS/INS Measurements Using a Tightly Coupled Fixed-Interval Smoother Performing Carrier Phase Ambiguity Resolution | Publicación