Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets | IEEE Conference Publication | IEEE Xplore