Towards a validation framework for dynamic reconfiguration | IEEE Conference Publication | IEEE Xplore