On attitude observers and inertial navigation for reference system fault detection and isolation in dynamic positioning | IEEE Conference Publication | IEEE Xplore