Conformance checking for autonomous multi-cloud SLA management and adaptation