Modeling and Analysis of Availability for SaaS Multi-tenant Architecture | IEEE Conference Publication | IEEE Xplore