Modeling and availability analysis of nested software rejuvenation policy | IEEE Conference Publication | IEEE Xplore