3 works on record
Computer aided verification
Automated Technology for Verification and Analysis
Model Checking, Second Edition