Sandeep K. Shukla Jean-Pierre Talpin Stephen A. Edwards Rajesh K. Gupta High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap. 9-14 2003 conf/vlsid/2003 VLSI Design http://csdl.computer.org/comp/proceedings/vlsid/2003/1868/00/18680009abs.htm db/conf/vlsid/vlsid2003.html#ShuklaTEG03