Jinyong Jung Sungjoo Yoo Kiyoung Choi Fast cycle-approximate MPSoC simulation based on synchronization time-point prediction. 223-247 2007 11 Design Autom. for Emb. Sys. 4 http://dx.doi.org/10.1007/s10617-007-9010-y db/journals/dafes/dafes11.html#JungYC07