Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models