Eric Cheung Harry Hsieh Felice Balarin Partial order method for timed simulation of system-level MPSoC designs. 149-154 2009 ASP-DAC http://doi.acm.org/10.1145/1509633.1509682 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#CheungHB09