Contracts for System DesignAlbert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet · First published 2018Open the Tome
Formal Modeling and Analysis of Timed SystemsMarcin Jurdzinski, Dejan Nickovic · First published 2012Open the Tome
