ESL Models and their Application: Electronic System Level Design and Verification in Practice (Embedded Systems)