Towards a verification approach for reconfigurable embedded systems | IEEE Conference Publication | IEEE Xplore