On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems