Evaluating High Availability-Aware Deployments Using Stochastic Petri Net Model and Cloud Scoring Selection Tool | IEEE Journals & Magazine | IEEE Xplore