Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems | IEEE Conference Publication | IEEE Xplore