@book{3421,
	author = {Jacky, Jonathan and Veanes, Margus; Campbell, C.; Schulte, W.},
	title = {Model-based software testing and analysis with C# /},
	publisher = {Cambridge University Press,},
	year = {2008.},
	address = {New York :},
	note = {Includes bibliographic references and index}
}