Safety-Critical Adaptation in Self-Adaptive Systems