A Framework for SLA-based cloud services verification and composition | IEEE Conference Publication | IEEE Xplore