3 works on record
Reachability Problems
2024
Model Checking Software
Formal Techniques for Distributed Objects, Components, and Systems