4 works on record
Critical Systems
CyberSecurity in a DevOps Environment
Tests and Proofs
Engineering of Computer-Based Systems