A case study on message-based discrete event simulation for Transaction Level Modeling | IEEE Conference Publication | IEEE Xplore