Multiple Markov chains-based layered random fault injection method for the air braking system | IEEE Conference Publication | IEEE Xplore