Condition-based maintenance and Markov modelling for avionics devices | IEEE Conference Publication | IEEE Xplore