Models and CAD Techniques for High-Level Design - Soumya Pandit; Chittaranjan Mandal; Amit Patra (Taylor and Francis, 2014)