An Automated Formal Approach to Managing Dynamic Reconfiguration | IEEE Conference Publication | IEEE Xplore