Roland GrozBooksTesting of Communicating SystemsProceedings of the First International Workshop on Model Inference in TestingAuthor data: Open Library