Anirban Bhattacharyya, John S. Fitzgerald. Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. In Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky, editors, SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008. pages 67-72, ACM, 2008. [doi]
Abstract is missing.