Supporting Self-Adaptation via Quantitative Veriﬁcation and Sensitivity Analysis at Run Time /Antonio Filieri, Giordano Tamburrelli, and Carlo Ghezzi, Fellow, IEEE - Filieri,Antonio