UF1-1

Figure. Quantitative verification at runtime supports self-adaptation in service-based systems.