On the Use of Dynamic Binary Instrumentation to Perform Faults Injection in Transaction Level Models | IEEE Conference Publication | IEEE Xplore