Markov jump-linear performance models for recoverable flight control computers | IEEE Conference Publication | IEEE Xplore