Using quantitative analysis to implement autonomic IT systems | IEEE Conference Publication | IEEE Xplore