A Phase Expansion Approach for Transient Analysis of Software Rejuvenation Model | IEEE Conference Publication | IEEE Xplore