6 works on record
Verification, Model Checking, and Abstract Interpretation
Constraint programming
Networked Systems
Static Analysis
Constraint Programming: Basics and Trends
Tools and Algorithms for the Construction and Analysis of Systems
