Development and hardware-in-the-loop testing of an Extended Kalman Filter for attitude estimation | IEEE Conference Publication | IEEE Xplore