ESL Models and their Application : Electronic System Level Design and Verification in Practice - Bailey, Brian. (Springer US : Imprint: Springer, 2010)