Towards a Unified Execution Model for Transactions in TLM | IEEE Conference Publication | IEEE Xplore