Embedded Systems Design And Verification: Reuse Oriented Prototyping Methodologies. - S. Raimbault; Gilles Sassatelli; Gamille Cambon; Michel Robert; Sébastien Pillement; Lionel Torres (VLSI, 1999)