Characterization of a flight control computer with rollback recovery | IEEE Conference Publication | IEEE Xplore