Large-scale complex IT systems
Using quantitative analysis to implement autonomic IT systems