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