Towards Consistent Batch State Estimation Using a Time-Correlated Measurement Noise Model | IEEE Conference Publication | IEEE Xplore