Modeling Methodologies for Dynamic Reconfigurable Systems by Fabio Cancare