3 works on record
Concurrency, Compositionality, and Correctness
FM 2009 : Formal Methods
Theoretical and Practical Aspects of SPIN Model Checking