Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary.