Nick Savoiu Sandeep K. Shukla Rajesh K. Gupta Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation. 875-883 2002 conf/date/2002 DATE http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14710875abs.htm db/conf/date/date2002.html#SavoiuSG02