An Automated Formal Approach to Managing Dynamic Reconfiguration. - Ian Warren; Jing Sun 002; Sanjev Krishnamohan; Thiranjith Weerasinghe (ASE, 2006)