Redundancy techniques (or reliable flight-control computers | IEEE Journals & Magazine | IEEE Xplore