High-Level Verification Methods and Tools for Verification of System-Level Designs - Kundu, Sudipta; Lerner, Sorin; Gupta, Rajesh K. (Springer New York, 2011)