@book{92560,
	author = {Utting, Mark. and Legeard, Bruno. and ebrary, Inc.},
	title = {Practical model-based testing},
	publisher = {Morgan Kaufmann Publishers,},
	year = {2006.},
	address = {San Francisco, CA :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10155918}
}