2 works on record
Numerical Software Verification
Verification, Model Checking, and Abstract Interpretation