Mazzara, Manuel and Bhattacharyya, Anirban On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. Technical Report. Newcastle University.