Unification of reliability/availability/repairability models for Markov systems | IEEE Journals & Magazine | IEEE Xplore