Accuracy analysis of a single-fault Markov model for FADEC system | BIAI Journals & Magazine | IEEE Xplore