@book{33973,
	author = {Grady, Jeffrey O.},
	title = {System validation and verification /},
	publisher = {CRC Press,},
	year = {1998},
	address = {Boca Raton :}
}