Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. - Kenneth Johnson; Simon Reed; Radu Calinescu (Haifa Verification Conference, 2011)