Using quantitative analysis to implement autonomic IT systems
Stochastic Model Checking