A Recovery Model for Survivable Distributed Systems through the Use of Virtualization | IEEE Conference Publication | IEEE Xplore