Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models | IEEE Conference Publication | IEEE Xplore