System-Level Validation High-Level Modeling and Directed Test Generation Techniques - Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat (Springer New York : Imprint: Springer, 2013)