Semi-Markov Availability Modeling of a Redundant System with Partial and Full Rejuvenation Actions | IEEE Conference Publication | IEEE Xplore