Formal Modelling and Verification of Real-Time Self-Adaptive Systems | IEEE Conference Publication | IEEE Xplore