Reverse Engineering with Simulation Graphs