Fault detection in lever-arm-compensated position reference systems based on nonlinear attitude observers and inertial measurements in dynamic positioning | IEEE Conference Publication | IEEE Xplore