Interacting SRN Models for Availability Evaluation of VM Migration as Rejuvenation on a System under Varying Workload | IEEE Conference Publication | IEEE Xplore