Software Engineering for Self-Adaptive Systems III. Assurances