2 works on record
Automated Technology for Verification and Analysis
Formal Techniques for Safety-Critical Systems