@book{145123,
	author = {Grady, Jeffrey O. and ebrary, Inc.},
	title = {System verification},
	publisher = {Elsevier/Academic Press,},
	year = {c2007.},
	address = {Amsterday ;},
	note = {Includes index.},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10186031}
}