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