System-level validation : high-level modeling and directed test generation techniques - Chen, Mingsong (Springer, 2013)