System-Level Validation : High-Level Modeling and Directed Test Generation Techniques - Chen, Mingsong. (Springer New York : Imprint: Springer, 2013)