Automatic Extraction of Metrics from SLAs for Cloud Service Management | IEEE Conference Publication | IEEE Xplore