Instantaneous availability for the protection devices based on non-homogeneous Markov model and a case study | IEEE Conference Publication | IEEE Xplore