4 works on record
Model-based software testing and analysis with C♯
Tests and Proofs
Testing of Software and Communicating Systems
On simultaneous rigid E-unification