3 works on record
Verification, Model Checking, and Abstract Interpretation
Automated Technology for Verification and Analysis
Modern Applications of Automata Theory
