2 works on record
Verification, Model Checking, and Abstract Interpretation
Computer Aided Verification