Paolo Giusto Jean-Yves Brunel Alberto Ferrari Eliane Fourgeau Luciano Lavagno Barry O'Rourke Alberto L. Sangiovanni-Vincentelli Emanuele Guasto Models of IP's for Automotive Virtual Integration Platforms. 379- 2002 conf/iccd/2002 ICCD http://csdl.computer.org/comp/proceedings/iccd/2002/1700/00/17000379.pdf db/conf/iccd/iccd2002.html#GiustoBFFLOSG02