Evaluating High Availability-Aware Deployments Using Stochastic Petri Net Model and Cloud Scoring Selection ToolManar JammalAli Kansoet al.2021IEEE-TSC