A queuing model for service availability of systems with rejuvenation | IEEE Conference Publication | IEEE Xplore