Parallel discrete event simulation of Transaction Level Models | IEEE Conference Publication | IEEE Xplore