A Framework for Verifying SLA Compliance in Composed Services | IEEE Conference Publication | IEEE Xplore