On Validity Assurance of Dynamic Reconfiguration for Component-based Programs. - Mahdi Niamanesh; Nafiseh Fekrazad Nobakht; Rasool Jalili; Faranak Heydarian Dehkordi (FSEN, 2005)