High-level modelling and automatic generation of dynamicaly reconfigurable systems | IEEE Conference Publication | IEEE Xplore