System-Level Validation - Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat (Springer New York, 2013)