Platform-Based DesignAlberto Sangiovanni-Vincentelli, Roberto Passerone · First published 2022Open the Tome
Contracts for System DesignAlbert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet · First published 2018Open the Tome
Languages and tools for hybrid systems designLuca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli · First published 2006Open the Tome
