Formal Methods in Outer SpaceEzio Bartocci, Yliès Falcone, Martin Leucker · First published 2021Open the Tome
From Reactive Systems to Cyber-Physical SystemsEzio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky · First published 2019Open the Tome
Computational Methods in Systems BiologyEzio Bartocci, Pietro Liò, Nicola Paoletti · First published 2016Open the Tome
