Modeling and Analysis of Availability in Multi-Tenant SaaS | IEEE Conference Publication | IEEE Xplore