Verification of Markov Models of Ageing Power Equipment | IEEE Conference Publication | IEEE Xplore