2 works on record
Verification and Evaluation of Computer and Communication Systems
Coordination Models and Languages