@book{50850,
	author = {Jacky, Jonathan},
	title = {Model-based software testing and analysis with CÄ /},
	publisher = {Cambridge University Press,},
	year = {2008},
	address = {New York :},
	url = {http://www.loc.gov/catdir/enhancements/fy0743/2007027740-t.html}
}