Partial order method for timed simulation of system-level MPSoC designs | IEEE Conference Publication | IEEE Xplore