High-Level Verification Methods and Tools for Verification of System-Level Designs - Kundu, Sudipta. (Springer New York : Imprint: Springer, 2011)