Perpetual assurances for self-adaptive systems