Αποστολή με SMS: Software Engineering for Self-Adaptive Systems III. Assurances