Testing of Software and Communicating SystemsMargus Veanes, Jan Tretmans, Wolfgang Grieskamp · First published 2007Open the Tome
