@book{133411,
	author = {Jacky, Jonathan.},
	title = {Model-based software testing and analysis with C�A /},
	publisher = {Cambridge University Press,},
	year = {2008.},
	address = {New York :},
	note = {Includes Index.}
}