Markov model-based reliability and safety evaluation for aircraft maintenance-system optimization | IEEE Conference Publication | IEEE Xplore