4 works on record
FM 2015 : Formal Methods
It's All About Coordination
Concurrency verification
Software Engineering and Formal Methods
