Detecting logic errors in discrete-event simulation: reverse engineering through event graphs. - Ernest E. Woodward; Gerald T. Mackulak (Simul. Pract. Theory, 1997)