System-Level Validation - Chen, Mingsong (Springer New York, 2013)