System-Level Validation: High-Level Modeling and Directed Test Generation Techniquesby Chen, Mingsong; Qin, Xiaoke; Koo, Heon-MoMay have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less