On the Use of Multi-correlator Values as Sufficient Statistics as Basis for Flexible Ultra-tight GNSS/INS Integration Developments | IEEE Conference Publication | IEEE Xplore