Highly available virtual machines with network coding | IEEE Conference Publication | IEEE Xplore