Tightly coupled navigation system of a differential magnetometer system and a MEMS-IMU for Enceladus | IEEE Conference Publication | IEEE Xplore