Modeling of time in discrete-event simulation of systems-on-chip | IEEE Conference Publication | IEEE Xplore