Availability Analysis of a Disaster Recovery Solution Through Stochastic Models and Fault Injection Experiments | IEEE Conference Publication | IEEE Xplore