@book{226908,
	author = {Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra},
	title = {System-Level Validation},
	publisher = {Springer New York},
	year = {2013},
	address = {New York}
}