Model-Driven Availability Assessment of the NFV-MANO With Software Rejuvenation | IEEE Journals & Magazine | IEEE Xplore