Assessing SLA Compliance from Palladio Component Models | IEEE Conference Publication | IEEE Xplore