Invariant Extended Kalman Filter design for a magnetometer-plus-GPS aided inertial navigation system | IEEE Conference Publication | IEEE Xplore