Assurance of Self-adaptive Controllers for the Cloud