fault_injection_async25_paper/graphics/testbench.pdf