Michele Borgatti Andrea Fedeli Umberto Rossi Jean-Luc Lambert Imed Moussa Franco Fummi Cristina Marconcini Graziano Pravadelli A Verification Methodology for Reconfigurable Systems. 85-90 2004 conf/mtv/2004 MTV http://doi.ieeecomputersociety.org/10.1109/MTV.2004.2 db/conf/mtv/mtv2004.html#BorgattiFRLMFMP04