Automated Technology for Verification and AnalysisCyrille Artho, Axel Legay, Doron Peled · First published 2016Open the Tome
Formal Techniques for Safety-Critical SystemsCyrille Artho, Peter Csaba Ölveczky · First published 2014Open the Tome
