//Probability of eventually deploying a web application on a subset of the virtual machines <<controller>> P>=0.9999 [ F "deployed"] <<controller>> P>=0.999 [ F "deployed"]