1. AgrawalA.(2002) “Hardware Modeling and Simulation of Embedded Applications ” Master's Thesis Vanderbilt University 2002.
2. Taxonomies for the Development and Verification of Digital Systems
3. Barkan David(1993) “Software litigation in the year 2000: The effect of OBJECT‐ORIENTED design methodologies on traditional software jurisprudence ”7 High Technology L.J. 315.
4. “software litigation in the year 2000: the effect of OBJECT‐ORIENTED design methodologies on traditional software jurisprudence.”;Barkan David M.;Berkeley Technical Law Journal,1992
5. Bosman G. Bos I. A. M. Eussen P. G. C. LammelI. R.(2003) “A Survey of Co‐Design Ideas and Methodologies ” Master's Thesis at Vrije Universiteit Amsterdam The Netherlands Oct.