Book

Testing of Communicating Systems

by Roland Groz, Robert M. Hierons