Fault diagnosis for attitude sensors via a bank of extended Kalman filters | IEEE Conference Publication | IEEE Xplore