SLA★: An abstract syntax for Service Level Agreements | IEEE Conference Publication | IEEE Xplore