A Constrained Executable Model of Dynamic System Reconfiguration | IEEE Conference Publication | IEEE Xplore