@book{234794,
	author = {Utting, Mark. and Legeard, Bruno. and ProQuest (Firm)},
	title = {Practical model-based testing},
	publisher = {Morgan Kaufmann Publishers,},
	year = {2006.},
	address = {San Francisco, CA :},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=282069}
}