Perpetual Assurances for Self-Adaptive Systems