Modeling and Formal Control of Partial Dynamic Reconfiguration | IEEE Conference Publication | IEEE Xplore