5 works on record
Logical Foundations of Cyber-Physical Systems
Correct System Design
Logical Analysis of Hybrid Systems
Automated Deduction - CADE 28
Formal Methods