Characterization of a recoverable flight control computer system | IEEE Conference Publication | IEEE Xplore