Software Engineering for Self-Adaptive Systems III. Assurances - Lemos, Rogério de (Springer International Publishing, 2020)