High-Level Verification - Lerner, Sorin; Gupta, Rajesh Kumar; Kundu, Sudipta; Gupta, Rajesh K. (Springer New York, 2011)