A Framework to Support Automatic Certification for Self-Adaptive Systems