3 books
Cohesive Coverage Management Leveraging Formal Test Plans
A Roadmap for Formal Property Verification
Multiobjective Heuristic Search