2 works on record
Testing of Communicating Systems
Proceedings of the First International Workshop on Model Inference in Testing