Linking Formal Description and Simulation of Runtime Reconfigurable Systems | IEEE Conference Publication | IEEE Xplore